predicate logic language

基本解释

The second part analyzes the formal language of knowledge predicate logic.
分析知道谓词逻辑的形式语言。
Z is a formal specification language based on the first order predicate logic and set theory. It can generate concise, accurate and conformable specifications.
语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。
Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate, and is one of the most important theoretical bases of AI.
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能产生和发展的最重要的理论基础。

Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
NEWYORKER: Utopian for Beginners