Re: Simple yet Profound Metatheorem

Torkel Franzen wrote:
> "Charlie-Boo" <chvol@xxxxxxx> writes:
>
> > What do you disagree with in the above?
>
> You mistakenly take the argument to be about classical propositional
> logic.

So "~(A<->~A) is a propositional calculus wff" is wrong? (I never used
the word "classical".)

C-B

.

Loading