Question

Let p be "The car is not black" and let q be "The car is not red." What statement is equivalent to the symbolic form ∼p⟹q?Select all that apply:The car is not black implies the car is not red. The car is red implies that the car is not black.In order for the car to be black, the car must not be red.In order for the car to be red, it is necessary that the car is not black.

Answer 1

~p means negation of statement p (then the car is black)

~p⇒q means negation of p only if q

Then ~p⇒q means that the car is black only if the car is not red.

The statement that is equivalent to that will be "In order for the car to be black, the car must not be red"