Translate the following inference to logic notation: If it snows, then Jennifer is playing a game. It is snowing or Jennifer is making tea. For all x, if x_14 makes tea, then x_14 is playing a game. Therefore Jennifer is playing a game or Linda is playing tennis.
p -> P(a). p or Q(a). forall x: Q(x) -> P(x). Therefore P(a) or q.