Translate the following inference to logic notation: David is not playing tennis. For all x, if x_1 cooks, then x_1 is playing tennis. Therefore David is not cooking.
~P(a). forall x: Q(x) -> P(x). Therefore ~Q(a).