Translate the following inference to logic notation: For all x, x is a musician if and only if x is sad. If it rains, then Patricia is a lawyer. If Jennifer were a musician, then it is raining. Patricia is not a lawyer. Therefore Jennifer is not sad or it is windy.
forall x: P(x) <-> Q(x). p -> q. P(a) -> p. ~q. Therefore ~Q(a) or r.