此外，有时也运用辩证推理形式。
二难推理共有28种有效推理形式。
最后，《经下》中存在着墨家逻辑丰富的推理形式。
At last, there have the Mohist school logic unique inference form in "Jing xia".
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general no…
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive an…
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc.
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc. and logic inference is of practicability and necessity.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。
The regulations of dilemma inference are merely to guarantee the efficacy of the form of dilemma inference, it doesn't relate to whether the premise content is correct or not.
主要讨论信息理解的推理形式和机制、规则知识的语义结构以及新知识产生过程；
The form and mechanism of inference of information understanding, semanteme structure of rule knowledge and production process of new knowledge is discussed ;
这种新的推理形式的建立，进一步完善了逻辑学体系，有助于一些逻辑问题的解决。
It improves the logic system and helps to solve some of the logic problems.
逻辑学家研究意义，目的是为了寻求逻辑理论背后的基础假定，以保证推理形式的有效性。
The motive of Logicians who study meaning problem is to guarantee validity of reasoning through finding the back theories of Logics.
然而，或然性推理不要求推理前提绝对真实可靠，也不要求推理形式严格有效，因此，在侦查推理中被大量运用。
However, since it is unnecessary for its premise to be absolutely credible and its inference pattern to be strictly effective, it has been used in great extent in criminal investigation.
在从已知信息所做出的推理形式中，根据对这些已知信息的整合与否，将语义推理分为搭桥推理与增添推理两大范畴。
Based on whether the given information will be integrated or not, semantic inferences are classified into bridging inferences and elaborative inferences.
合情推理是非单调逻辑中一种常用的以常识为基础的推理形式，在多种可能之因当中选定一个最为“合情”的作为结论。
Plausible reasoning, belonging to the category of non-monotonic logic, is a sort of frequently-used reasoning on the basis of common knowledge.
这项研究可从两个切入点着手：1、通过逻辑史和哲学史的反思，深化逻辑研究的对象，把逻辑研究对象从推理形式拉到思维的层面上来；
This study tries to put up two points: 1. By reflecting the history of logic and philosophy, to deepen the object of study from the inferring form to the thought.
道德推理的最基本形式——在道德上相当于学会爬行——是将他人的利益与自己的利益进行权衡。
The most elementary form of moral reasoning—the ethical equivalent of learning to crawl—is to weigh others' interests against one's own.
当我们的父母、同龄人和学校老师把数词及其书面形式引入我们的认知经验时，它们改变了我们的定量推理方式。
Number words and their written forms transform our quantitative reasoning as they are introduced into our cognitive experience by our parents, peers and school teachers.
派生：派生(Derivations)描述如何通过推理或数学计算将一种形式的信息转换成另一种形式的信息。
Derivations: Derivations describe how information in one form may be transformed into information in another form through an inference or mathematical calculation.
这一推理的另一种形式。
这种推理方法同样适用于其他各种形式的公共建设。
The same reasoning applies, of course, to every other form of public work.
该部分的主要想法是社会科学推理，包括如果X，则Y形式的条件陈述。
The main idea in this section is that social scientific reasoning involves conditional statements of the form if X then Y.
激活被试的规则意识，能明显的促进推理成绩的提高，但是这种促进作用受到题目形式的影响。
Activated the consciousness of rules, the grades of the students were obviously improved, but the improvement was influenced by the form of questions.
或然性推理由于其结论不必然为真，在形式逻辑体系中一直未受到重视。
The probable inference has been ignored all the time because its conclusion is not always true.
隐喻是一种形式的类比推理涉及分类，蕴涵和推理。
Metaphors as a form of reasoning by analogy involve categorization, entailment and inference.
文中提出了新的用于多种形式数学模型发现推理的组合模板匹配方法和误差判别切换算法。
In this paper, the new combination sample match method and error criterion switch algorithm using to discover the different form of mathematics model are presented.
文中提出了新的用于多种形式数学模型发现推理的组合模板匹配方法和误差判别切换算法。
In this paper, the new combination sample match method and error criterion switch algorithm using to discover the different form of mathematics model are presented.
应用推荐