3 ms·
From "A => B" does not follow "(not A) => (not B)" edit: swapped A and B by mistake, see comment below
by AnonymousPlanet 5y ago
From "A => B" does not follow "(not A) => (not B)"
edit: swapped A and B by mistake, see comment below
- TrianguloY 5y agoHmm, logically speaking, yes, yes it does: https://en.wikipedia.org/wiki/Transposition_(logic) https://en.wikipedia.org/wiki/Transposition_(logic)
- AnonymousPlanet 5y agoHaha, you're right! I mistyped. The left side should have been "(not A) => (not B)"