Translate the following inference to logic notation: Patricia is not a scientist. For all x, z will cook if and only if z is a scientist. It is cloudy. If Patricia doesn't cook, then Robert is a politician. Therefore it is cloudy and Robert is a politician.
~P(a). forall x: Q(x) <-> P(x). p. ~Q(a) -> q. Therefore p and q.