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.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 ]