Quote:
Originally posted by cliche
phukraut - and define the symbols with what?  Then again, you're probably right - but I'd go one further and remove the argument itself. Just leave the symbols and people can go around having petty arguments like:
> (A & B) -> C
> A
> B
> ergo C
n0 way man WTF!!!! j00 R r0ng.
ergo (not) C
(big  )
|
Well, the great mathematician Kurt Godel did that. With great success. Granted, approximately ten people alive on Earth know what he was talking about, but still.