Translate the following inference to logic notation: For all x, x_20 is a musician and x_20 is sad. If David were a cashier, then Jessica is not a musician. Therefore David is not a cashier or Jennifer is driving a car.
forall x: P(x) and Q(x). p -> ~P(a). Therefore ~p or q.