Translate the following inference to logic notation: Jessica is not a carpenter or Linda is working. For all x, x_4 is a carpenter. Therefore Jessica is a writer or Linda is working.
~P(a) or p. forall x: P(x). Therefore Q(a) or p.