deductive theorem

用法例句

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命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念。

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。

The basic properties of operator :F(S)×F(S)→F(S) have been investigated, and a fuzzy deductive theorem has been given.

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 。

Finally,the completeness of BL*Δ is proved by using the properties,and the generalized deductive theorem in BL*Δ is given.

首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理。

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,提出了一种可同时给出演绎过程的判定方法——演绎判定方法。

The Operation  and Weak Deductive Theorem in FormalDeductive System L~*;

形式演绎系统L~*的运算与弱演绎定理

The Operationand Deductive Theorem in the Formal Deductive System L~*;

形式演绎系统L~*中的运算与演绎定理

Newly Search for the Property of the Fuzzy Deduction Theorem of the System L～* and the R_0 Algebra;

L～*系统中的模糊演绎定理与R_0代数性质的新探索

reason by deduction; establish by deduction.

通过演绎的方式推理；通过演绎来确定一件事。

Involving or using deduction in reasoning.

演绎法推理的包含或用演绎法推理的

Deductive reasoning in debate.

在辩论中用演绎法推理

We derived propositions from axioms

我们从原理演绎出命题。

Context: The Pythagorean Theorem was proved using deductive reasoning.

上下文：毕德哥拉斯定理被人们运用演绎推理加以了证明。

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到。

Reasoning from the general to the particular; logical deduction.

综合推理，演绎推理从一般到特殊的推理；逻辑上的演绎推理

Comprehension on Logical Deduction in Solving Mathematical Proposition;

对逻辑演绎推理在数学解题中的理解

Reasonable layout and perfect dimension deduct space aesthetics.

合理布局，完美尺度演绎空间美学。

The Dynamic Interpretation of Cartoon and Humor by Conceptual Blending Theory;

概念整合理论对漫画幽默的动态演绎

The Comparison of the A and B editions Transcendental Deduction in the Critique of Pure Reason;

《纯粹理性批判》中两版先验演绎之比较

Cross-disciplinary Deduction of Happiness Theory:Research Summary;

快乐理论的跨学科演绎:一个研究综述

Seeing the Theory of Congenital Comprehensive Estimation from Deduction of Congenital Experience;

从“先验演绎”看“先天综合判断”理论

A New Mothed of Inductive Reasoning under the Deductive Model;

演绎框架下实现归纳推理的一种设想

An Interpretation of Theory of Transcendental Deduction of Critique of Pure Reason

《纯粹理性批判》之先验演绎思想解读