For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-Some visitors did not stay for dinner.
A) (∀x)(∼Vx • Sx)
B) (∃x)(∼Vx • ∼Sx)
C) (∃x)(Vx ⊃ ∼Sx)
D) (∃x)(Vx • ∼Sx)
E) (∀x)(Vx • ∼Sx)

Question

Quizplus · Accepted Answer

- Vx: x is a visitor
- Sx: x stayed for dinner
The sentence can be translated as (∃x)(Vx • ∼Sx), which means there exists a visitor x who did not stay for dinner.

For Each of the Following Sentences, Select the Best Translation