noun
Definition: A statement that is formed by reversing and negating the terms of another statement, often used in logic to show that two statements are equivalent.
Example: In logic, the contrapositive of 'If it rains, then the ground is wet' is 'If the ground is not wet, then it does not rain.'