Translate the following inference to logic notation: It is not cold. If Linda were bored, then it is cold. For all x, x_10 is bored or x_10 will read a book. If it is cold, then Linda is bored. Therefore Linda is reading a book.
~p. P(a) -> p. forall x: P(x) or Q(x). p -> P(a). Therefore Q(a).