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:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“a meek humble Man of modest sense,
Who preaching peace does practice continence;
Whose pious life’s a proof he does believe,
Mysterious truths, which no Man can conceive.”
—John Wilmot, 2d Earl Of Rochester (1647–1680)