Translate the following inference to logic notation: If Linda were a writer, then it is overcast. For all x, if y goes running, then y is a writer. If it is overcast, then Patricia is climbing a mountain. Therefore if Linda goes running, then Patricia is climbing a mountain.
P(a) -> p. forall x: Q(x) -> P(x). p -> q. Therefore Q(a) -> q.