Translate the following inference to logic notation: For all x, x_8 will cook. For all x, if x_8 cooks, then x_8 is a doctor. If it is windy, then Patricia is a doctor. Therefore Patricia is a doctor.
forall x: P(x). forall x: P(x) -> Q(x). p -> Q(a). Therefore Q(a).