Is this valid or invalid: if x then not y x therefore not y

Question #22 when you approach an intersection with a green traffic light, you should choose an a. approach at a speed that will allow you to stop if the light changes. b. be ready to speed up if the light turns yellow. c. always slow down by a few miles per hour, in case you need to stop.