本文へスキップ

対偶とは?

たいぐう

「PならばQ」と論理的に同値な「QでないならばPでない」の形の命題

対偶とは条件命題「P→Q」の対偶「¬Q→¬P」のことで、元の命題と真偽が一致するという同値関係がある。

使い方・例文

「偶数ならば2の倍数」の対偶「2の倍数でないなら偶数でない」も同じく正しい。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語