Let p, q, and r be the following statements:
P: Jamie is on the train.
q: Sylvia is at the park.
r: Nigel is in the car.
Translate the following statement into English: ( ~ p Ë„ q) --> r
~p: Jamie is not on the train
q: Sylvia at the park
so,
if (Jamie is not on the train Ë„ Sylvia is at the park), then Nigel is in the car.