which is logically equivalent to the converse of a conditinal statement?

P and Q are any two logical statements
Writing "If P, then Q" can be written as [tex]P \to Q[/tex] to show a flow in the logic (P goes to Q)
The converse swaps P and Q to get [tex]Q \to P[/tex], 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 [tex]Q \to P[/tex] (converse) is the same as [tex]\textasciitilde P \to \textasciitilde \ Q[/tex] (inverse). The squiggly tilde signs mean "not". So [tex]\textasciitilde P[/tex] means "not P".