Translate the following inference to logic notation: Robert is not playing tennis. For all x, x_7 is a doctor if and only if x_7 will cook. Robert is playing tennis if and only if Patricia is a doctor. Therefore Patricia is not cooking.
~p. forall x: P(x) <-> Q(x). p <-> P(a). Therefore ~Q(a).