1. This rule infers a conditional statement from its contrapositive . 2. The previous example employed the contrapositive of a definition to prove a theorem. 3. In traditional logic there is more than one contrapositive inferred from each original statement. 4. The ignorance fallacy is sometimes confused ( or combined ) with logically valid contrapositive arguments. 5. Contrapositive arguments rightly utilize the logically equivalent.6. See also contraposition and proof by contrapositive . 7. By the contrapositive of Henkin's, then \ lnot A is an inconsistent formula. 8. One can also prove a theorem by proving the contrapositive of the theorem's statement. 9. So I am thinking of the contrapositive of the statement you seem to be thinking of. 10. Therefore, the contrapositive of the lemma is true, which implies that the lemma is true.