Definition of "contrapositive"

contrapositive