Translate the following inference to logic notation: If it snows, then Barbara is sad. If Barbara were sad, then it is snowing. Therefore if Barbara were sad, then it is snowing.
p -> q. q -> p. Therefore q -> p.