Translate the following inference to logic notation: For all x, z will read a book or z will not sleep. James is running or John is sleeping. If James goes running, then John is reading a book. Therefore John is reading a book.
forall x: P(x) or ~Q(x). p or Q(a). p -> P(a). Therefore P(a).