Translate the following inference to logic notation: If Linda were fast, then Joseph is playing tennis. For all x, y_2 will play tennis if and only if y_2 is excited. Therefore if Linda were fast, then Joseph is excited.
p -> P(a). forall x: P(x) <-> Q(x). Therefore p -> Q(a).