1) singer's extemporization
演绎处理
2) deductive inference
演绎推理
1.
The 20-year experiences show that forward inference is the higher level of deductive inference, with which the accura.
将演绎推理的2种思维模式诊断故障原理和方法作了详细介绍,并具体分析了各自的利弊。
2.
Deductive inference and non-deductive inference are often used in mathematical proof .
演绎推理和非演绎推理经常被运用到数学证明中。
3.
In this paper, some matter element conjunctives for dealing with non compatible problems have been put forward, and a set of matter element deductive inference rules have been set up.
从处理不相容问题的实际需要出发,提出了有关物元演算的若干物元联结词,并建立了一套旨在分析物元之间以及物元要素之间的逻辑关系的物元演绎推理规则,它尤其适用于不相容问题的分析处理。
3) deductive reasoning
演绎推理
1.
It is not resolved problem whether the conclusion is new knowledge,for the premising?In this paper,we analysis the cause that logical proof can t ensure to btain new knowledge and to prove that the deductive reasoning can obtain new knowledge by facts.
并且认为新知智能通过归纳和类比获得,剖析了人们对演绎推理的误解,用事实说明演绎推理可以得到新知。
4) Deduction Theorem
演绎定理
1.
By means of theory of truth degrees of formulas,according to deduction theorems and completeness theorems,the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念。
2.
Having studied the formal deductive system L~* for fuzzy propositional calculus, and investigated the fuzzy deduction theorem of L~* system in detail.
对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B。
5) mathematical deduction
数理演绎
补充资料:演绎
①铺陈,推断,阐发:汉儒解经,依经演绎。②“演绎推理”的简称。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条