1) 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.
与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。
2) mutually-inversistic implication
互逆蕴涵
3) Mutually Inverse Proper Implication
互逆真蕴涵
1.
Why is the Establishment of Mutually Inverse Proper Implication so Defined?;
互逆真蕴涵的建立过程为何要这样定义
2.
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
4) implicative proposition
蕴涵式命题
5) 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.
文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。
补充资料：蕴涵命题演算
蕴涵命题演算
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]).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条