您要查找的是不是：
- First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
- Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas 模糊谓词逻辑公式的有限和可数解释真度理论
- Fuzzy Predicate Logic 模糊谓词逻辑
- Theory of Truth Degree of First-order Fuzzy Predicate Logics Formulas Based on the Finite Interpretation and Enumerable Interpretation and its Application 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
- 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. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
- 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. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- 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. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- A new formal deductive system for fuzzy predicate calculus 一个新的模糊谓词演算形式系统
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
- Can we predicate of a dog that it has a soul? 关於狗，我们能断定它有灵魂吗？
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- 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. 他们的共同点在于:把形式逻辑看作陈述逻辑;并试图用前谓词判断的哲学逻辑学来为它奠基.
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- A soft or fuzzy surface on fabric or leather. 绒毛织物或皮革上的柔软或绒毛状的表面
- Study Predicate Logic Used in Design PLC Ladder Diagram 谓词逻辑在设计PLC梯形图中使用的研究
