Translate the following inference to logic notation: If John cooks, then Robert is not climbing a mountain. For all x, x_20 will climb a mountain and x_20 will play a game. Therefore John is not cooking or Elisabeth is a server.
p -> ~P(a). forall x: P(x) and Q(x). Therefore ~p or q.