Translate the following inference to logic notation: Karen is rich if and only if it is overcast. For all x, x_10 is a police officer or x_10 is rich. If Karen were a doctor, then it is overcast. For all x, x_10 is not a police officer or x_10 is a doctor. Therefore it is overcast.
P(a) <-> p. forall x: Q(x) or P(x). R(a) -> p. forall x: ~Q(x) or R(x). Therefore p.