The act of switching the hypothesis and conclusion of a logical statement and negating both to create an equivalent statement.
From Latin 'contra' (against) + 'ponere' (to place), combined with the '-ing' suffix. The term emerged in medieval logic to describe a formal logical operation where positions are reversed.
In formal logic, 'If it rains, the ground is wet' becomes 'If the ground is not wet, it didn't rain' through contraposing—and these statements are logically identical! This principle is used in mathematical proofs and computer science to validate arguments.
Complete word intelligence in one call. Free tier — 50 lookups/day.