参考: チャート式絶対に身につけたい数学1+Aの基本 (チャート式・シリーズ), p.27
たいぐう
contraposition
/カントゥラパズィシャン/
「pならばq」の証明が難しいときは、その対偶である「qでないならばpではない」を証明してもよい。
逆に「qでないならばpではない」の証明が難しいときは、その対偶である「pならばq」の証明してもよい。
元の命題のtrue/falseは、その対偶のtrue/falseに一致する。
参考: チャート式絶対に身につけたい数学1+Aの基本 (チャート式・シリーズ), p.27
たいぐう
contraposition
/カントゥラパズィシャン/
「pならばq」の証明が難しいときは、その対偶である「qでないならばpではない」を証明してもよい。
逆に「qでないならばpではない」の証明が難しいときは、その対偶である「pならばq」の証明してもよい。
元の命題のtrue/falseは、その対偶のtrue/falseに一致する。