1) 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.
文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。
2) implicative proposition
蕴涵式命题
3) 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.
与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。
4) Subject implication
主题蕴涵
5) compound proposition
复合命题
1.
The root of the equation “x2-x-6 =0 is x=-2 or x=3” was a compound proposition took up a higher place.
近几年,数学教育类杂志刊载的关于简易逻辑的文章不在少数,其中很多都涉及到一个代表性问题的讨论:“命题‘方程x2-x-6=0的解是x=-2或x=3'是否是复合命题。
2.
In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition.
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题 ,有不同的观点。
6) RL-type implication
RL型蕴涵
1.
RL-type implication and Triple-I algorithm in Fuzzy reasoning;
RL型蕴涵与Fuzzy推理的三I算法
补充资料：蕴涵命题演算
蕴涵命题演算
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]).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条