Translate the following inference to logic notation: Michael is reading a book or it is snowing. For all x, x_7 will read a book if and only if x_7 is a mechanic. Michael is not a mechanic. Therefore it is snowing.
P(a) or p. forall x: P(x) <-> Q(x). ~Q(a). Therefore p.