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