Translate the following inference to logic notation: It is not late or Patricia is poor. It is late or Susan is reading a book. For all x, x_8 will not read a book. Therefore Patricia is poor.
~p or q. p or P(a). forall x: ~P(x). Therefore q.