Translate the following inference to logic notation: Michael is driving a car if and only if Mary is bored. For all x, if x_10 drives a car, then x_10 is playing tennis. Therefore if Mary were bored, then Michael is playing tennis.
P(a) <-> p. forall x: P(x) -> Q(x). Therefore p -> Q(a).