Translate the following inference to logic notation: For all x, if x_3 were a poet, then x_3 is playing tennis. Linda is not a poet. For all x, if x_3 plays tennis, then x_3 is a poet. Therefore Linda is not playing tennis.
forall x: P(x) -> Q(x). ~P(a). forall x: Q(x) -> P(x). Therefore ~Q(a).