noun
Definition: A situation where two ideas or statements are opposites of each other, often used in logic to show how one statement relates to another by negating their parts.
Example: In logic, contraposition helps to understand the relationship between different propositions.