Translate the following inference to logic notation: Linda is curious if and only if Patricia is playing a game. Linda is curious. For all x, z_4 will not play a game. Therefore Richard is cooking.
p <-> P(a). p. forall x: ~P(x). Therefore q.