Translate the following inference to logic notation: For all x, x_11 is not a sailor. For all x, x_11 is a sailor or x_11 is excited. If it rains, then Jessica is not excited. Therefore it is not raining.
forall x: ~P(x). forall x: P(x) or Q(x). p -> ~Q(a). Therefore ~p.