您要查找的是不是：
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而 多元代数 对应于一阶逻辑。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
- Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic. 他们的共同点在于:把形式逻辑看作陈述逻辑;并试图用前谓词判断的哲学逻辑学来为它奠基.
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
- The predication for software reliability and bug mount. 软件可靠性以及BUG数量的预测。
- predication logic 一阶逻辑
