Answer: B) inverse of the original
P and Q are any two logical statements
Writing "If P, then Q" can be written as
to show a flow in the logic (P goes to Q)
The converse swaps P and Q to get
, so it translates to "If Q, then P"
The contrapositive is logically equivalent to the original conditional. We can form a truth table to verify this.
A truth table can also be used to show that the converse and inverse are equivalent expressions. So
(converse) is the same as
(inverse). The squiggly tilde signs mean "not". So
means "not P".