A statement formed by reversing and negating both parts of a conditional statement; for example, the contrapositive of 'if A then B' is 'if not B then not A.'
From Latin 'contra' (against) + 'positivus' (positioned). First formalized in its modern sense during the development of symbolic logic in the 19th century.
The contrapositive is so logically perfect that if the original statement is true, the contrapositive must be true—it's like a mathematical mirror that never lies!
Complete word intelligence in one call. Free tier — 50 lookups/day.