A claim formed by switching the subject and predicate terms of a categorical claim, and replacing both by their complementary terms. A- and O-claims are equivalent to their contrapositives.

A type of conditional statement; if a conditional is p ® q, then its contrapositive is ~q

The converse and negation of a conditional. The contrapositive of is . Logical Reasoning