Translate the following inference to logic notation: It is raining. Richard is not driving a car. For all x, if x_12 drives a car, then x_12 is fast. For all x, if x_12 were fast, then x_12 is driving a car. Therefore it is raining and Richard is not fast.
p. ~P(a). forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). Therefore p and ~Q(a).