4 ms·
>A implies B does not imply that not B implies not A. Wait, what? Every time I eat a hard candy, I get a toothache. I don't have a toothache, therefore I didn
by RyanMcGreal 16y ago
>A implies B does not imply that not B implies not A.
Wait, what?
Every time I eat a hard candy, I get a toothache. I don't have a toothache, therefore I didn't eat a hard candy.
- DeusExMachina 16y agoActually I made a mistake there. Going on mere memory and without checking, I put the double negation, which comes from an axiom. So yes, what I meant is "If I eat hard candy, I get toothache" does not imply "I have a toothache, so I ate hard candies". Which is the form I was commenting on. I should have provided an example (and double checked!).