Translate the following inference to logic notation: James is a doctor. For all x, y will not climb a mountain. James is a doctor if and only if Michael is climbing a mountain. Therefore it is late.
p. forall x: ~P(x). p <-> P(a). Therefore q.