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.
The contrapositive of 'if P then Q' is 'if not Q then not P'.
Refers specifically to the contrapositive proposition. Slightly more formal.
Verb phrase meaning 'to take the contrapositive' or 'to form the contrapositive'.
The original proposition and its contrapositive are logically equivalent.
We will prove this by taking the contrapositive of the proposition.