obverse（その他表記）obverse

世界大百科事典（旧版）内のobverseの言及

【逆】より

…もとの命題が正しくても，逆は正しいとは限らない(x²＞4ならば，x＞2またはx＜－2が正しい命題)。また，もとの命題および逆のA,Bを，A,Bの否定におきかえたもの〈AでないならばBでない〉〈BでないならばAでない〉(前の例なら，〈実数xについて，x≦2ならばx²≦4〉および〈実数xについて，x²≦4ならばx≦2〉)を，それぞれもとの命題の裏obverse，対偶contrapositionという。もとの命題が正しければ対偶も正しく，対偶の対偶はもとの命題であるから，ある命題とその対偶とは同値であり，ある命題を証明するのに対偶を証明してもよい。…

※「obverse」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」