1.
The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.
基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
2.
Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
安全协议一阶逻辑模型中攻击重构的实现
3.
It may be said that the way by which for explaining existential issue is preferably successful.
可以说，利用一阶逻辑解释存在问题的方法是比较成功的。
4.
Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_(vfl) Based on Lattice Implication Algebra;
基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究
5.
Research and Implementation of the First Order Predicate Logic Operator Automatic Refinement in Z Specification;
Z规格说明中一阶逻辑算子自动求精的研究与实现
6.
logical consistency
逻辑兼容，逻辑一致性
7.
Study Dialectical Logic and Move the Science of Logic in Our Country into a New Phase;
研究辩证逻辑,把我国的逻辑研究推进到一个新阶段
8.
On the advanced stage of the development of logic science --dialectical logic;
论逻辑科学发展的高级阶段——辩证逻辑
9.
A phase or an aspect of a logically developing process.
契机一个按逻辑发展过程的阶段或方面
10.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
11.
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;
一阶谓词逻辑在人工智能知识表示中的应用
12.
Three Types of Logic in Class Analysis and the Middle Classes;
阶级分析的三种逻辑与中产阶级研究
13.
Logically correct or consistent.
合乎逻辑的逻辑上正确或一致的
14.
A practitioner of a system of logic.
逻辑学家使用某一逻辑体系的人
15.
A Reasoning Theory Based on the Finite Interpretation of Formulas Truth Degree in First-order Fuzzy Logic;
基于一阶模糊逻辑公式的有限解释真度的推理理论
16.
The Consistence of History and Logic--A Review of "Economic Basis" of the initial Stages of Socialism;
历史的和逻辑的相一致:对社会主义初级阶段“经济基础”的再思考
17.
The Progress of Literature on Logical Starting Point for Instructional Technology Theory-Building
我国教育技术学逻辑起点“阶段说”
18.
The Logic Is an Ax--What's the Logic and Why should We Study the Logic
逻辑是一把“斧子”——什么是逻辑学和为什么要学习逻辑学