名词
中文翻译：第二阶逻辑
同义词：
['second-order predicate logic', 'second-order propositional logic']
例句：
-
1. The second-order logicis a branch of mathematics thatdeals with the logical properties of statements.
第二阶逻辑是数学的一个分支，研究陈述的逻辑属性。
-
2. In second-order logic,variables are used to represent sets of objects, rather than individual objects themselves.
在第二阶逻辑中，变量用来表示对象集，而不是单个对象本身。
-
3. The study ofsecond-order logic has applications in computerscience and artificial intelligence.
第二阶逻辑的研究在计算机科学和人工智能中有应用。