Translate the following inference to logic notation: Patricia is not a scientist. For all x, y will make tea if and only if y is a scientist. For all x, if y were a scientist, then y is making tea. Therefore Patricia is not making tea.
~P(a). forall x: Q(x) <-> P(x). forall x: P(x) -> Q(x). Therefore ~Q(a).