Translate the following inference to logic notation: If it is windy, then Jessica is an artist. For all x, if x_10 were an artist, then x_10 is cooking. If Jessica cooks, then it is windy. Therefore it is windy if and only if Jessica is cooking.
p -> P(a). forall x: P(x) -> Q(x). Q(a) -> p. Therefore p <-> Q(a).