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