The Contrapositive
The contrapositive of a statement is formed when the hypothesis and the 
conclusion are interchanged, and both are replaced by their negation.  In other 
words, the contrapositive of a statement is the same as the inverse of that 
statement's converse, or the converse of its inverse.  
Take the statement, "Long books are fun to read."  Its contrapositive is "Books 
that aren't fun to read aren't long."  The statement "if p, then q" becomes "if not q, then not p."
The contrapositive of a statement always has the same truth value as the 
original statement.  Therefore, the contrapositive of a definition is always 
true.  For example, the statement "A triangle is a three-sided polygon" is true.  
Its contrapositive, "A polygon with greater or less than three sides is not a 
triangle" is also true.