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:
“The passions do very often give birth to others of a nature most contrary to their own. Thus avarice sometimes brings forth prodigality, and prodigality avarice; a man’s resolution is very often the effect of levity, and his boldness that of cowardice and fear.”
—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)