Modus Tollens - Formal Proof

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:

    True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....
    Marcel Proust (1871–1922)

    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)