Translate the following inference to logic notation: If Barbara were a scientist, then Karen is not an astronaut. For all x, x_11 will not play tennis. For all x, x_11 will play tennis or x_11 is an astronaut. Therefore Barbara is not a scientist.
p -> ~P(a). forall x: ~Q(x). forall x: Q(x) or P(x). Therefore ~p.