Converse, Inverse, And Contrapositive

Please Login to access more options.

Definition (Converse, Inverse, And Contrapositive)

Consider the implication $P\implies Q$. From this implication we can define 3 other implications.

• The converse of $P\implies Q$ is the implication $Q\implies P$.
• The inverse of $P\implies Q$ is the implication $(\sim P)\implies (\sim Q)$.
• The contrapositive of $P\implies Q$ is the implication $(\sim Q)\implies (\sim P)$.