条件文とその裏の非同値性

条件文「PならばQ」の裏「PでないならばQでない」は元の命題と論理的に同値ではない。

「幸運が手に入るなら困難に挑んでいる」に対する「幸運が手に入らないなら困難に挑んでいない」は裏に当たり、元の条件文と同値ではない。