Re: Simple yet Profound Metatheorem

Torkel Franzen wrote:
> "Charlie-Boo" <chvol@xxxxxxx> writes:

> > Please give a proof of a propositional calculus proposition that cannot
> > be done using case analysis (examination of the truth tables.)

> There are no truth tables for intuitionistic propositional logic.

That has no relevance.

Please give a proof of a propositional calculus proposition that cannot
be done using case analysis (examination of the truth tables) or admit
there are none.

C-B

.