Translate the following inference to logic notation: Patricia is a politician. For all x, x_11 will work or x_11 will climb a mountain. For all x, x_11 will not work. Therefore Susan is climbing a mountain and Patricia is a politician.
p. forall x: P(x) or Q(x). forall x: ~P(x). Therefore Q(a) and p.