蕴涵式命题,implicative proposition,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 蕴涵式命题

1) implicative proposition 点击朗读

蕴涵式命题

2) mutually inverse implicational proposition 点击朗读

互逆蕴涵命题

Likewise,in mutually-inversistic logic,the two conjuncts of the antecedent of a mutually inverse implicational proposition are two curved surfaces, and their conjunction is a spatial curve.

与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。

3) implication compound proposition 点击朗读

蕴涵型复合命题

Through analyzing the true and false meanings of implication compound proposition and introducing two measurements:implication degree and implication rate,a new truth computation method for implication compound proposition is obtained.

文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。

4) Subject implication 点击朗读

主题蕴涵

5) prime implicant/implicate 点击朗读

本原蕴涵/蕴涵式

6) Implication [英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən] 点击朗读

蕴涵式

Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.

量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。

更多例句>>

补充资料：蕴涵命题演算

蕴涵命题演算
indicative prepositional calculus

　　蕴涵命题演算〔如吵a枷e户叩画俪司叫。止旧;枷n-月，KaT.朋oe nP0n03"”HO.田压.oellC，Ilc，"“e] 仅使用。(蕴涵词)作为原始联结词的命题演算.完全(或古典)蕴涵命题演算(comPkte(c」a貂元al)四plicati凭prop哪itional calc过留)是这类演算的例子.该演算的公理为 P习(q OP)，((P Oq)。((q Or)，(POr)))， ((POq)。P)。P，其推理法则是:分离法则(1加d璐po~)及代换法则(s血titut沁n rule).另一个例子是所谓正蕴涵命题演算(posit加e imPlicative Pro砰巧itional calculus).其公血为:P习(q OP)，(P。(q Or))。((POq)。(POr))，其推理规则与上面相同.任一仅含蕴涵词的命题演算公式称为蕴涵公式(加plicative foml创以)，它在完全〔或正)蕴涵命题演算中可推出，当且仅当它在古典的(相应的，直觉主义的)命题演算中可推出.令V是命题变元组成的有限集，由V及。可组成无穷个蕴涵公式，但在正蕴捆命题演算中，该无穷个公式中仅有有限个是两两不等价的(见〔31).存在可有限公理化的蕴涵命题演算，它是不可判定的(见【4]).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

蕴涵式图表蕴涵重言式 U-S本原蕴涵/蕴涵式质蕴涵覆盖问题蕴涵问题探析非链格蕴涵代数上的四值命题逻辑系统LP4(X)

形式蕴涵素蕴涵式蕴涵式;蕴含式内涵命题模糊蕴涵式蕴涵式访问

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 蕴涵式命题 1) implicative proposition 蕴涵式命题 2) mutually inverse implicational proposition 互逆蕴涵命题 1. Likewise,in mutually-inversistic logic,the two conjuncts of the antecedent of a mutually inverse implicational proposition are two curved surfaces, and their conjunction is a spatial curve. 与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。 3) implication compound proposition 蕴涵型复合命题 1. Through analyzing the true and false meanings of implication compound proposition and introducing two measurements:implication degree and implication rate,a new truth computation method for implication compound proposition is obtained. 文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。 4) Subject implication 主题蕴涵 5) prime implicant/implicate 本原蕴涵/蕴涵式 6) Implication [英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən] 蕴涵式 1. Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic. 量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。更多例句>> 补充资料：蕴涵命题演算蕴涵命题演算 indicative prepositional calculus 　　蕴涵命题演算〔如吵a枷e户叩画俪司叫。止旧;枷n-月，KaT.朋oe nP0n03"”HO.田压.oellC，Ilc，"“e] 仅使用。(蕴涵词)作为原始联结词的命题演算.完全(或古典)蕴涵命题演算(comPkte(c」a貂元al)四plicati凭prop哪itional calc过留)是这类演算的例子.该演算的公理为 P习(q OP)，((P Oq)。((q Or)，(POr)))， ((POq)。P)。P，其推理法则是:分离法则(1加d璐po~)及代换法则(s血titut沁n rule).另一个例子是所谓正蕴涵命题演算(posit加e imPlicative Pro砰巧itional calculus).其公血为:P习(q OP)，(P。(q Or))。((POq)。(POr))，其推理规则与上面相同.任一仅含蕴涵词的命题演算公式称为蕴涵公式(加plicative foml创以)，它在完全〔或正)蕴涵命题演算中可推出，当且仅当它在古典的(相应的，直觉主义的)命题演算中可推出.令V是命题变元组成的有限集，由V及。可组成无穷个蕴涵公式，但在正蕴捆命题演算中，该无穷个公式中仅有有限个是两两不等价的(见〔31).存在可有限公理化的蕴涵命题演算，它是不可判定的(见【4]). 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条蕴涵式图表蕴涵重言式 U-S本原蕴涵/蕴涵式质蕴涵覆盖问题蕴涵问题探析非链格蕴涵代数上的四值命题逻辑系统LP4(X)

©2011 dictall.com