対偶 (論理学)
命題「AならばB」に対し、
対偶:「BでないならばAでない」
逆:「BならばA」
裏:「AでないならばBでない」
がある。
対偶の場合とは異なり、元の命題「AならばB」が正しくとも逆・裏は必ずしも正しいとは限らない(逆は必ずしも真ならず)。 しかし、逆命題「BならばA」の対偶は、「AならばB」の裏「AでないならばBでない」と一致するので、逆「BならばA」と裏「AでないならばBでない」の真偽は必ず一致する。
自然言語(とくに日常語や文学・比喩表現)では、論理学における論理的関係が常にそのまま適用できるとは限らず、命題と対偶命題が異なる真理値を持つように見えることがある。