Translate the following inference to logic notation: For all x, x_20 will not drive a car. William is a police officer if and only if Richard is a janitor. For all x, x_20 will drive a car or x_20 is not a janitor. Therefore William is not a police officer or it is overcast.
forall x: ~P(x). p <-> Q(a). forall x: P(x) or ~Q(x). Therefore ~p or q.