2 ms·Haha, you're right! I mistyped. The left side should have been "(not A) => (not B)"by AnonymousPlanet 5y agoHaha, you're right! I mistyped. The left side should have been "(not A) => (not B)"