What is the converse of PimpliesQP \\implies QPimpliesQ?
QimpliesPQ \\implies PQimpliesP
PiffQP \\iff QPiffQ
negQimpliesnegP\\neg Q \\implies \\neg PnegQimpliesnegP
negPimpliesnegQ\\neg P \\implies \\neg QnegPimpliesnegQ