News for hackers. Stuff that matters.

A comment on Why We Terminated Daily Stormer. Parent comment

Re:Why We Terminated Daily Stormer by tr352 on Thursday August 17, 2017 @05:19AM (#15035047)
Yes it does. In fact, in classical logic, A->B is equivalent to !B->!A. See https://en.m.wikipedia.org/wiki/Contraposition
[ Parent | on HN ]
Re:Why We Terminated Daily Stormer by spookyuser on Thursday August 17, 2017 @11:10AM (#15037447)
Exactly.

A consequence of this being true is the Raven Paradox [1], seemingly the OP has solved the classic riddle in a HN thread.

[1] https://en.wikipedia.org/wiki/Raven_paradox

[ Parent | on HN ]