世界大百科事典（旧版）内のobverseの言及
【逆】より
…もとの命題が正しくても，逆は正しいとは限らない(x2＞4ならば，x＞2またはx＜－2が正しい命題)。また，もとの命題および逆のA,Bを，A,Bの否定におきかえたもの〈AでないならばBでない〉〈BでないならばAでない〉(前の例なら，〈実数xについて，x≦2ならばx2≦4〉および〈実数xについて，x2≦4ならばx≦2〉)を，それぞれもとの命題の裏obverse，対偶contrapositionという。もとの命題が正しければ対偶も正しく，対偶の対偶はもとの命題であるから，ある命題とその対偶とは同値であり，ある命題を証明するのに対偶を証明してもよい。…
※「obverse」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」