1) 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.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
2) mutually-inversistic implication
互逆蕴涵
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.
与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。
6) tautological implication
永真蕴涵
补充资料：提婆五逆与三逆
【提婆五逆与三逆】
（故事）(参见：五逆)
（故事）(参见：五逆)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条