File talk:Icon logic.svg

Funny, but too much of an inside joke. I'd go with "P ∧ ¬P" or something. &mdash; 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)