Translate the following inference to logic notation: Richard is not a cashier. If Richard were a cashier, then Richard is climbing a mountain. For all x, z is a cashier or z will not climb a mountain. Therefore Richard is not climbing a mountain.
~P(a). P(a) -> Q(a). forall x: P(x) or ~Q(x). Therefore ~Q(a).