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 (17171797)
“A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutationa proof of unwillingness to do much, even where there is a necessity of doing something.”
—Samuel Johnson (17091784)