Translate the following inference to logic notation: If Karen were a scientist, then it is sunny. It is sunny or Karen is not writing a letter. For all x, z_1 is a scientist or z_1 will write a letter. Therefore it is sunny.
P(a) -> p. p or ~Q(a). forall x: P(x) or Q(x). Therefore p.