Translate the following inference to logic notation: Karen is cooking if and only if it is cloudy. For all x, x_8 is an astronaut or x_8 will cook. If Karen were an astronaut, then it is cloudy. Therefore it is cloudy.
P(a) <-> p. forall x: Q(x) or P(x). Q(a) -> p. Therefore p.