> A -> B does not imply !B -> !A
A -> B does imply !B -> !A. The error in reasoning here seems to be that attitude towards a website is assumed to be a binary "like/not like" variable, while in reality one can also neither like nor dislike something.
Re:Why We Terminated Daily Stormer
by snovv_crash on Thursday August 17, 2017 @04:29AM
(#15034782)
No it doesn't. Just because you tell me you don't like to get shot doesn't mean you are ok with being stabbed.
Yes it does. In fact, in classical logic, A->B is equivalent to !B->!A. See https://en.m.wikipedia.org/wiki/Contraposition
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.
A -> B does not imply !B -> !A
Example: if you eat an Apple, saying "hey, that's one good-looking Apple!", it does not require you to heretofore eat every good-looking Apple you come across.