Definitions

1. noun

A statement that is logically equivalent to the negation of another statement, typically in the form ‘if p then q’ and ‘if not q then not p’.

“The contraposita of ‘if it is raining, then the streets are wet’ is ‘if the streets are not wet, then it is not raining’.”