# Contrapositive proof

Do I understand correctly that you need to prove $\neg(P\land Q)$ and you want to prove $\neg P\lor\neg Q$ instead? Then yes, to prove a disjunction, it is sufficient to prove one of the disjuncts.