条件文の対偶

条件文「PならばQ」の対偶は「QでないならばPでない」であり、両者は論理的に同値である。

対偶は元の命題と真偽が一致する。