Inverse of P implies Q
August 3, 2009, 10:53 am
Filed under: implication, Propositional Logic | Tags: inverse, p i, p implies q
Filed under: implication, Propositional Logic | Tags: inverse, p i, p implies q

Inverse: not P => not Q
The inverse of P=>Q is (not P => not Q)
Negate both the Premise(P) and the Conclusion(Q)
Leave a Comment