File talk:Icon logic.svg

From RationalWiki
Jump to navigation Jump to search

Funny, but too much of an inside joke. I'd go with "P ∧ ¬P" or something. — Sincerely, Neveruse / Talk / Block 21:16, 28 May 2010 (UTC)

  • Pardon me, but shouldn't it be "P ∨ ¬P" (P or not P) instead of "P ∧ ¬P" (P and not P)? Or is that in fact the joke I'm missing? 188.107.242.182 (talk) 06:44, 24 December 2010 (UTC)
No, I think you just got the symbols backwards? At least, I remember "and" as looking like "U" for "union". But I'm probably wrong. Austerlitz (talk) 06:49, 24 December 2010 (UTC)
It's P and not P. And yeah, now that you mention it, it should be P ∨ ¬P (law of excluded middle). Unless Neveruse had something else in mind. -- Nx / talk 06:58, 24 December 2010 (UTC)