対偶

否定と対偶の主な違いは、論理的な操作の種類と結果の意味にあります。否定は、命題の真偽を反転させる操作で、「AでないことはBでない」という形式を取ります。 対偶は、命題の前件と後件を入れ替え、それぞれを否定する操作で、「BでないならばAでない」という形式を取ります。 否定が命題の真偽を反転させるのに対し、対偶は命題の論理的な等価性を保持する点が異なります。