contrapositive
adj. 对换的；对照的
n. 对换句
例句
The contrapositive is true, too.
对换一下也是正确的。
The contrapositive is equally true.
这个反命题同样是正确的。
As we know, contrapositive symmetry is the tautology in classical logic.
众所周知，在古典逻辑中，逆否对称性是永真公式。
