Translate the following inference to logic notation: Susan is curious or Barbara is an astronaut. If Barbara were an astronaut, then Susan is making tea. For all x, if z makes tea, then z is curious. For all x, if z were curious, then z is making tea. Patricia is a writer. Therefore Patricia is a writer and Susan is making tea.
P(a) or p. p -> Q(a). forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). q. Therefore q and Q(a).