The converse of PrightarrowQP \\rightarrow QPrightarrowQ is:
QrightarrowPQ \\rightarrow PQrightarrowP
negPrightarrownegQ\\neg P \\rightarrow \\neg QnegPrightarrownegQ
negQrightarrownegP\\neg Q \\rightarrow \\neg PnegQrightarrownegP
PleftrightarrowQP \\leftrightarrow QPleftrightarrowQ