Translate the following inference to logic notation: If Robert sleeps, then it is sunny. It is sunny or Robert is not a lawyer. For all x, z_1 will sleep or z_1 is a lawyer. Therefore it is sunny.
P(a) -> p. p or ~Q(a). forall x: P(x) or Q(x). Therefore p.