Hacker News new | ask | show | jobs
by MattyDub 5274 days ago
Sorry, maybe I'm misreading your notation, but are you saying that modus tollens isn't a valid argument? http://en.wikipedia.org/wiki/Modus_tollens
1 comments
pilgrim689 5274 days ago
I think he's using a logical implication notation "|=". as in: A => B logically implies that: ~B => ~A

He just decided to use "/=" rather than "|="...so it looks weird...

link
MattyDub 5274 days ago
Ah, I'd read that as "does not equal", rather than "implies". Thanks pilgrim689.
link