Translate the following inference to logic notation: For all x, x_12 is a poet and x_12 will write a letter. If David were a poet, then Jennifer is an electrician. Therefore Jennifer is an electrician.
forall x: P(x) and Q(x). P(a) -> p. Therefore p.