6 ms·
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 http://en.wi
by MattyDub 15y 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 http://en.wikipedia.org/wiki/Modus_tollens
- pilgrim689 15y agoI 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...
- MattyDub 15y agoAh, I'd read that as "does not equal", rather than "implies". Thanks pilgrim689.