Re: Simple yet Profound Metatheorem

Charlie-Boo wrote:
H. J. Sander Bruggink wrote: 

But you did talk about "truth tables" and "resolution", both
of which are proof methods for classical propositional logic,
and not intuitionistic propositional logic.
Please give a proof of a propositional calculus proposition that cannot
be done using case analysis (examination of the truth tables.) 

Man, just admit that you don't know what intuitionistic logic is.

You don't mention the word "intuitionistic" in your question
anymore, making it ambiguous in the present context.

If I interpret your question as:

  "Please give an intuitionistic proof of an
   (intuitionistically valid) propositional calculus
   proposition that cannot be done using case
   analysis."

then the answer would be: *any proof*, because "case analysis"
doesn't work for intuitionistic logic.

groente
-- Sander
.

Loading