Translate the following inference to logic notation: It is snowing. If Richard were a janitor, then it is not cold. For all x, if x_17 were a janitor, then x_17 is a scientist. For all x, if x_17 were a scientist, then x_17 is a janitor. If it snows, then it is cold. Therefore Richard is not a scientist.
p. P(a) -> ~q. forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). p -> q. Therefore ~Q(a).