Symbolic logic stickers [entries|reading|network|archive]
simont

[ userinfo | dreamwidth userinfo ]
[ archive | journal archive ]

Tue 2008-01-15 10:48
Symbolic logic stickers
LinkReply
[identity profile] pne.livejournal.comTue 2008-01-15 15:56
What about one for people who get their scoping mixed up once negation enters into it?

(The "all cats don't scratch the furniture" brigade who really mean "not all cats scratch the furniture".)
Link Reply to this | Thread
[personal profile] simontWed 2008-01-16 10:35
Like this, you mean?

Link Reply to this | Parent | Thread
[identity profile] pne.livejournal.comWed 2008-01-16 13:40
Ooh, I'm not sure about the scoping and precedence, but something like that! I'll trust you got it right.
Link Reply to this | Parent | Thread
[identity profile] metamoof.livejournal.comThu 2008-01-17 23:01
How about

(∀x: ¬P(¬x)) ≠⇒ (∀x: ¬P(x))

For the "I Can't get no satisfaction, cos I ent dun nuffink" crowd?

(with apologies for the slightly borked "does not imply" sign, though "does not equal" may be a better fit anyway)
Link Reply to this | Parent
navigation
[ go | Previous Entry | Next Entry ]
[ add | to Memories ]