MathCastle
Proof WritingMediumContrapositive and Contradiction

Contrapositive and Contradiction · Medium problem

It is known that "if PP then QQ" is true, and that QQ is false. What follows?