Monday, August 15, 2011

Deductive logic: Without premises, deduce "-p(p.-p)"?

Schema should appear as the last line of a deduction without premise numbers, so premises used in the deduction must all be discharged by Premise elimination by the last line of the deduction. It can be done in 14 lines.

No comments:

Post a Comment