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:
“A great many will find fault in the resolution that the negro shall be free and equal, because our equal not every human being can be; but free every human being has a right to be. He can only be equal in his rights.”
—Mrs. Chalkstone, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 2, ch. 16, by Elizabeth Cady Stanton, Susan B. Anthony, and Matilda Joslyn Gage (1882)
“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)