Translate the following inference to logic notation: Karen is driving a car or John is not reading a book. For all x, x_12 will drive a car if and only if x_12 is a janitor. Therefore if John reads a book, then Karen is a janitor.
P(a) or ~p. forall x: P(x) <-> Q(x). Therefore p -> Q(a).