Translate the following inference to logic notation: For all x, x_11 is not a cashier. If Thomas were a musician, then Elisabeth is climbing a mountain. For all x, x_11 is a cashier or x_11 is a musician. Therefore Elisabeth is climbing a mountain.
forall x: ~P(x). Q(a) -> p. forall x: P(x) or Q(x). Therefore p.