它的所有逻辑演绎。
Deductive logic reasons from the general to the particular.
演绎逻辑是一种从一般到特殊的逻辑推理方法。
At one point in the Metaphysics, Aristotle seems to distinguish between empirical studies and deductive logic.
在《形而上学》一书中，亚里士多德似乎已谈到了经验研究和推理逻辑的区别。
We have a very hard time sticking to rules of deductive logic, and we constantly make basic errors in statistical reasoning.
我们总是很难谨守逻辑推演原则，我们在统计推理时甚至往往会犯基本的错误。
The evolution of "Yiwu spirit" from scratch and then to the "new Yiwu spirit", has a capital to explore the natural deductive logic.
“义乌精神”从无到有再到向“新义乌精神”的嬗变，存有一个可资探寻的自然演绎逻辑。
John Mearsheimer s offensive realism is noted for its delicate deductive logic and bold theoretical conclusion on international politics.
米尔斯海默进攻性现实主义以其缜密的理论逻辑和大胆的理论结论而蜚声国际关系研究界。
After all, how many daily decisions do we make on the basis of deductive logic compared with those guided by gut feeling, intuition, emotions, impulse or practical skills?
毕竟，相对那些受心里感知、直觉、情感、冲动或实际技能的指引，基于推导性逻辑我们做了多少日常的决定？
Mathematic and logic depend extensively on the deductive method of reasoning.
数学和逻辑学广泛地依靠推理的演绎方法。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
At the same time this article gives another simple deductive reasoning and proves that no logic cycle exists or lies hidden in that simple method.
同时又举出了另一种简便的推证法，并论证了该推证法不存在，也不隐含逻辑循环。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
Therefore, an improved logic implication algorithm has been proposed, which was inspired by the by the single pass deductive fault simulation algorithm.
因此，我们引进了一种新的寻找逻辑蕴涵的方法，该方法的灵感来自于单通道演绎故障的模拟算法。
Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.
逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。
Analysis of the data indicates that trainings in logic affect testees' ability of deductive...
分析显示，逻辑训练与受测试者的演绎推理能力是有关的。
The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.
二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。
The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.
二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。
应用推荐