Translate the following inference to logic notation: If it is sunny, then it is raining. For all x, y is sad if and only if y is a mechanic. If it rains, then Joseph is a mechanic. Therefore if it is sunny, then Joseph is sad.
p -> q. forall x: P(x) <-> Q(x). q -> Q(a). Therefore p -> P(a).