Translate the following inference to logic notation: Linda is running if and only if Mary is a doctor. Mary is not a sailor. For all x, y_2 is a sailor or y_2 is a doctor. Therefore Linda is running.
p <-> P(a). ~Q(a). forall x: Q(x) or P(x). Therefore p.