Translate the following inference to logic notation: For all x, x is not a mechanic. Linda is playing tennis if and only if Mary is a mechanic. John is working. Therefore John is working.
forall x: ~P(x). p <-> P(a). q. Therefore q.