Translate the following inference to logic notation: If it is windy, then Michael is fast. For all x, if x_15 were fast, then x_15 is a doctor. It is windy or Michael is not a doctor. Therefore it is windy if and only if Michael is a doctor.
p -> P(a). forall x: P(x) -> Q(x). p or ~Q(a). Therefore p <-> Q(a).