contrapositive

(noun)

noun

1. (logic) the inverse of the converse of a given proposition