Translate the following inference to logic notation: If it is windy, then it is cloudy. It is not cloudy. For all x, x_13 will take a plane or x_13 is a police officer. Elisabeth is taking a plane if and only if it is windy. Therefore Elisabeth is a police officer.
p -> q. ~q. forall x: P(x) or Q(x). P(a) <-> p. Therefore Q(a).