Translate the following inference to logic notation: If it is sunny, then Jennifer is working. If Susan were a writer, then Jennifer is working. Elisabeth is not a mechanic or Susan is a writer. For all x, x_16 is a mechanic or x_16 will climb a mountain. It is sunny if and only if Elisabeth is climbing a mountain. Therefore Jennifer is working.
p -> q. r -> q. ~P(a) or r. forall x: P(x) or Q(x). p <-> Q(a). Therefore q.