Definitions

1. noun

A statement that, if true, would necessarily imply the truth of the original statement’s negation.

“The contrapositive of ‘If it’s raining, then the streets are wet’ is ‘If the streets are not wet, then it’s not raining’.”