Contrapositive – the statement formed by negating both the hypothesis and conclusion of the converse of a conditional statement.
Converse – the statement formed by exchanging the hypothesis and conclusion of a conditional statement. Counterexample – an example used to show that a given statement is not always true.