News for hackers. Stuff that matters.

A comment on Awesome but Useless. Parent comment

Re:Awesome but Useless by MattyDub on Tuesday January 03, 2012 @12:36PM (#3420439)
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
[ Parent | on HN ]
Re:Awesome but Useless by pilgrim689 on Tuesday January 03, 2012 @01:43PM (#3420742)
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...

[ Parent | on HN ]
Re:Awesome but Useless by MattyDub on Tuesday January 03, 2012 @02:43PM (#3420995)
Ah, I'd read that as "does not equal", rather than "implies". Thanks pilgrim689.
[ Parent | on HN ]