Translate the following inference to logic notation: If Patricia were sad, then Linda is a police officer. For all x, if x_2 reads a book, then x_2 is a police officer. If Linda were a police officer, then Thomas is a nurse. Patricia is sad or Linda is reading a book. Therefore Thomas is a nurse.
p -> P(a). forall x: Q(x) -> P(x). P(a) -> q. p or Q(a). Therefore q.