Translate the following inference to logic notation: For all x, z is a writer if and only if z is a nurse. For all x, z is not a writer. John is a nurse or it is sunny. Therefore it is sunny.
forall x: P(x) <-> Q(x). forall x: ~P(x). Q(a) or p. Therefore p.