対偶

参考: チャート式絶対に身につけたい数学1+Aの基本 (チャート式・シリーズ), p.27

たいぐう
contraposition
/カントゥラパズィシャン/

「pならばq」の証明が難しいときは、その対偶である「qでないならばpではない」を証明してもよい。
逆に「qでないならばpではない」の証明が難しいときは、その対偶である「pならばq」の証明してもよい。

元の命題のtrue/falseは、その対偶のtrue/falseに一致する。