Question 199065

p:  Mary is on the bus.
q:  April is in the car.
r:   Stan is at the zoo


Since r:   Stan is at the zoo, this means that


~r:   Stan is NOT at the zoo



Also, because q:  April is in the car, this tells us that


~q: April is NOT in the car




Now, translate p v ~r:


p v ~r: Mary is on the bus OR Stan is NOT at the zoo


Now connect this with ~q in the form of IF...THEN (since --> means IF..THEN) to get:


IF Mary is on the bus OR Stan is NOT at the zoo, THEN April is NOT in the car.



So the compound statement (p v  ~ r) -->  ~q translates to:


(p v  ~ r) -->  ~q : IF Mary is on the bus OR Stan is NOT at the zoo, THEN April is NOT in the car.