Formal Proof
| Proposition | Derivation |
|---|---|
| Given | |
| Given | |
| Material implication | |
| Disjunctive syllogism |
Read more about this topic: Modus Tollens
Famous quotes containing the words formal and/or proof:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“To cease to admire is a proof of deterioration.”
—Charles Horton Cooley (1864–1929)