obverse

…Even if the original proposition is correct, the contraposition is not necessarily correct (if x ² > 4, then x > 2 or x < -2 is the correct proposition). In addition, the original proposition and its contraposition A and B are replaced with the negation of A and B , i.e., "If not A , then not B " and "If not B , then not A " (in the previous example, "For real number x , if x ≦ 2, then x ² ≦ 4" and "For real number x , if x ² ≦ 4, then x ≦ 2") are called the obverse and contraposition of the original proposition, respectively. If the original proposition is correct, then the contraposition is also correct, and the contraposition of the contraposition is the original proposition, so a certain proposition and its contraposition are equivalent, and it is possible to prove the contraposition to prove a certain proposition. …

*Some terminology explanations that mention "obverse" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…もとの命題が正しくても，逆は正しいとは限らない(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」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報