Logic is wank.
Who cares if p ∧ q ≡ p ≡ q ≡ p ∨ q is a theorem?
Wank, I say.
(
philthemoose asbentee and/or-ed.,
Sat 17 Apr 2004, 7:03,
archived)
Buh? I can think of
at least two valuations which would screw that up.
(
BodyMessageMachine,
Sun 18 Apr 2004, 22:40,
archived)