Translate the following inference to logic notation: If it is late, then David is climbing a mountain. It is not late. If David climbs a mountain, then it is late. If it is late, then David is climbing a mountain. Therefore David is not climbing a mountain.
p -> q. ~p. q -> p. p -> q. Therefore ~q.