Deduction Theorem - The Resolution Theorem

The Resolution Theorem

The resolution theorem is the converse of the deduction theorem. It follows immediately from modus ponens which is the elimination rule for implication.

Read more about this topic:  Deduction Theorem

Famous quotes containing the words resolution and/or theorem:

    “We often see malefactors, when they are led to execution, put on resolution and a contempt of death which, in truth, is nothing else but fearing to look it in the face—so that this pretended bravery may very truly be said to do the same good office to their mind that the blindfold does to their eyes.”
    —François, Duc De La Rochefoucauld (1613–1680)

    “To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
    —Albert Camus (1913–1960)