Translate the following inference to logic notation: Patricia is not playing tennis. For all x, z_1 will cook if and only if z_1 will play tennis. If it is overcast, then Patricia is cooking. If it is not overcast, then Joseph is reading a book. Therefore Joseph is reading a book.
~P(a). forall x: Q(x) <-> P(x). p -> Q(a). ~p -> q. Therefore q.