Translate the following inference to logic notation: If it is overcast, then Linda is reading a book. If Linda sleeps, then it is overcast. For all x, if y reads a book, then y is sleeping. Therefore if it is overcast, then Linda is sleeping.
p -> P(a). Q(a) -> p. forall x: P(x) -> Q(x). Therefore p -> Q(a).