Translation guide
The logical relationship where a conditional statement is equivalent to its contrapositive. In Japanese, this is expressed using specific logical terms.
Expressing the logical equivalence between 'if P then Q' and 'if not Q then not P'
The standard term for contraposition in logic. Used in formal contexts like mathematics and philosophy.
「PならばQ」の対偶は「QでないならばPでない」です。
The contrapositive of 'if P then Q' is 'if not Q then not P'.
Refers specifically to the contrapositive proposition. Slightly more formal.
元の命題と対偶命題は論理的に同値です。
The original proposition and its contrapositive are logically equivalent.
Verb phrase meaning 'to take the contrapositive' or 'to form the contrapositive'.
この命題の対偶を取って証明します。
We will prove this by taking the contrapositive of the proposition.