Translate the following inference to logic notation: If Michael were an electrician, then Sarah is playing tennis. For all x, x_9 will play tennis if and only if x_9 will cook. Sarah is cooking or Michael is an electrician. Therefore Sarah is playing tennis.
p -> P(a). forall x: P(x) <-> Q(x). Q(a) or p. Therefore P(a).