1) the theory of terms
词项逻辑
1.
All kinds of inferences in the theory of terms can be explicated concisely by the concept of attributes of classes.
词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。
3) logical changeable item
逻辑变项
1.
Any change of the logical changeable items should not go beyond the specific scope defined by the definite items.
逻辑变项是逻辑形式中可以变化的部分 ,但是 ,逻辑变项的变化不是绝对的、无条件的 ,而是相对的和有条件的。
4) logical term
逻辑项
6) predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
补充资料：传统逻辑基本规律
又称思维的基本规律或思维规律。包括同一律、矛盾律和排中律。有的逻辑学家还把充足理由律也包括在内。它们是各种思维形式的特殊规律或规则的依据。矛盾律和排中律是古希腊哲学家、逻辑学家亚里士多德首先提出的。亚里士多德虽未曾明确提出同一律，但在他的某些言论中已有关于同一律的思想。传统逻辑学家认为，同一律、矛盾律和排中律这些思维的基本规律从不同方面体现了正确思维的主要特征──确定性。思维的确定性是客观事物相对确定性的反映，也是传统逻辑基本规律的客观基础。唯心主义者否认这些思维规律的客观性，他们或者认为这些规律是思维本身所固有的先验范畴，或者认为思维规律是人们根据约定建立起来的规则。传统逻辑基本规律对人们的思维具有规范作用，不遵守这些规律的要求，思维就会出现混乱和错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条