Translate the following inference to logic notation: If William takes a plane, then Michael is not writing a letter. Michael is not an office clerk. For all x, z is an office clerk or z will write a letter. Therefore William is not taking a plane.
p -> ~P(a). ~Q(a). forall x: Q(x) or P(x). Therefore ~p.