名词
中文翻译：第一阶逻辑
同义词：
['first-order logic', 'primary logic例句：1. In the first order logic', 'every statement is either true or false.（在第一阶逻辑中，每个陈述要么是真的，要么是假。）']
例句：
-
1. In the first order logic, every statement is either true or false.
在第一阶逻辑中，每个陈述要么是真的，要么是假。
-
2.The first order logic is a formal system that allows for the definition of truth and validity.
第一阶逻辑是一种允许定义真和有效性的形式主义系统。
-
3. In mathematics, the first order logic is used to describe the structure of propositions.
在数学中，第一阶逻辑被用来描述命题的结构。