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:
“Had I been less resolved to work, I would perhaps had made an effort to begin immediately. But since my resolution was formal and before twenty four hours, in the empty slots of the next day where everything fit so nicely because I was not yet there, it was better not to choose a night at which I was not well-disposed for a debut to which the following days proved, alas, no more propitious.... Unfortunately, the following day was not the exterior and vast day which I had feverishly awaited.”
—Marcel Proust (1871–1922)
“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)