演绎定律,law of deduction

1)law of deduction
演绎定律

2)deductive regularity
演绎规律
例句>>

3)deduction-based decision
演绎判定
1.
As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications,namely deduction procedure,a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.
文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法。



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)deductive theorem
演绎定理演绎定理

6)mode of deduction-law
演绎-规律模式


补充资料：矛盾规律(见对立统一规律)


矛盾规律(见对立统一规律)
law of contradiction

　　mQOCun gu】j口、矛盾规律(lawof eon‘radietion)统一规律。见叶主
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

演绎定律,law of deduction