Translate the following inference to logic notation: Mary is a writer or Mary is not a mechanic. For all x, if y were a writer, then y is a mechanic. Therefore Mary is a writer if and only if Mary is a mechanic.
P(a) or ~Q(a). forall x: P(x) -> Q(x). Therefore P(a) <-> Q(a).