Re: Simple yet Profound Metatheorem

Charlie-Boo wrote:
Torkel Franzen wrote: 

 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".)



But you did talk about "truth tables" and "resolution", both
of which are proof methods for classical propositional logic,
and not intuitionistic propositional logic.

groente
-- Sander
.

Loading