说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 广义演绎定理
1)  generalized deductive theorem
广义演绎定理
1.
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Δ*系统的广义演绎定理。
2)  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。
更多例句>>
3)  deductive theorem
演绎定理演绎定理
4)  fuzzy deductive theorem
模糊演绎定理
1.
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 系统中的模糊演绎定理 。
更多例句>>
5)  deductivism [di'dʌktivizəm]
演绎主义
例句>>
6)  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,提出了一种可同时给出演绎过程的判定方法——演绎判定方法。
补充资料：广义
范围较宽的定义（跟‘狭义’相对）：～的杂文也可以包括小品文在内。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条