Not every model is emaciated.
A) (x)(Mx ⊃ ∼Ex)
B) (x)∼(Mx ⊃ Ex)
C) (∃x)(Mx • ∼Ex)
D) ∼(∃x)(Mx • Ex)
E) (∃x)(Mx • Ex)

Question

Quizplus · Accepted Answer

The correct translation of "Not every model is emaciated" is "There exists at least one model who is not emaciated," which is symbolized as (∃x)(Mx • ∼Ex), where Mx stands for "x is a model" and Ex stands for "x is emaciated." This statement asserts the existence of at least one model who is not emaciated, rather than claiming all models are not emaciated or that no models are emaciated.

Not Every Model Is Emaciated