Modus Ponens - Formal Proof

Formal Proof

Proposition Derivation
Given
Given
Material implication
Double Negation
Disjunctive syllogism

Read more about this topic:  Modus Ponens

Famous quotes containing the words formal and/or proof:

    Then the justice,
    In fair round belly with good capon lined,
    With eyes severe and beard of formal cut,
    Full of wise saws and modern instances;
    And so he plays his part.
    William Shakespeare (1564–1616)

    There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.
    François, Duc De La Rochefoucauld (1613–1680)