互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。

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.

youdao

众所周知，在古典逻辑中，逆否对称性是永真公式。

As we know, contrapositive symmetry is the tautology in classical logic.

youdao