What is the contrapositive of PimpliesQP \\implies QPimpliesQ?
QimpliesPQ \\implies PQimpliesP
negPimpliesnegQ\\neg P \\implies \\neg QnegPimpliesnegQ
PlandnegQP \\land \\neg QPlandnegQ
negQimpliesnegP\\neg Q \\implies \\neg PnegQimpliesnegP