Translate the following inference to logic notation: If David plays squash, then Michael is a police officer. For all x, if z were a police officer, then z is taking a plane. Michael is not taking a plane. Therefore David is not playing squash.
p -> P(a). forall x: P(x) -> Q(x). ~Q(a). Therefore ~p.