Translate the following inference to logic notation: For all x, y_2 will work if and only if y_2 will play squash. If Barbara takes a plane, then William is working. William is playing squash. Therefore William is working.
forall x: P(x) <-> Q(x). p -> P(a). Q(a). Therefore P(a).