Modus Ponens - Justification Via Truth Table

Justification Via Truth Table

The validity of modus ponens in classical two-valued logic can be clearly demonstrated by use of a truth table.

p q p → q
T T T
T F F
F T T
F F T


In instances of modus ponens we assume as premises that p → q is true and p is true. Only one line of the truth table—the first—satisfies these two conditions (p and p → q). On this line, q is also true. Therefore, whenever p → q is true and p is true, q must also be true.

Read more about this topic:  Modus Ponens

Famous quotes containing the words truth and/or table:

    For you, o broker, there is no other principle but arithmetic. For me, commerce is of trivial import; love, faith, truth of character, the aspiration of man, these are sacred; nor can I detach one duty, like you, from all other duties, and concentrate my forces mechanically on the payment of moneys.
    Ralph Waldo Emerson (1803–1882)

    The salt person and blasted place
    I furnish with the meat of a fable;
    If the dead starve, their stomachs turn to tumble
    An upright man in the antipodes
    Or spray-based and rock-chested sea:
    Over the past table I repeat this present grace.
    Dylan Thomas (1914–1953)