| 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.
|