Translate the following inference to logic notation: For all x, if x cooks, then x is an astronaut. David is working. Thomas is cooking or John is sad. If John were sad, then Thomas is an astronaut. Therefore David is working and Thomas is an astronaut.
forall x: P(x) -> Q(x). p. P(a) or q. q -> Q(a). Therefore p and Q(a).