Translate the following inference to logic notation: James is a poet or Charles is a musician. James is a poet if and only if Charles is a writer. For all x, if y were a musician, then y is a writer. Therefore Charles is a writer.
p or P(a). p <-> Q(a). forall x: P(x) -> Q(x). Therefore Q(a).