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 changes in our life must come from the impossibility to live otherwise than according to the demands of our conscience ... not from our mental resolution to try a new form of life.”
—Leo Tolstoy (1828–1910)
“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)