Translate the following inference to logic notation: If Barbara were a bartender, then it is snowing. If it snows, then Barbara is a bartender. For all x, z is not a bartender. Therefore it is not snowing.
P(a) -> p. p -> P(a). forall x: ~P(x). Therefore ~p.