Translate the following inference to logic notation: Jessica is a poet if and only if James is a mechanic. James is not a mechanic. For all x, y_2 will work. Jessica is a poet if and only if it is windy. Therefore Charles is working.
p <-> q. ~q. forall x: P(x). p <-> r. Therefore P(a).