Translate the following inference to logic notation: Elisabeth is not working. For all x, x_2 will work if and only if x_2 is fast. It is windy. Therefore it is windy and Elisabeth is not fast.
~P(a). forall x: P(x) <-> Q(x). p. Therefore p and ~Q(a).