select the best translation into predicate logic.
-If Tortuga is a city, then some settlements are not nicely placed.
A) Ct ⊃ ∼(∃x)(Sx • Nx)
B) Ct ⊃ (∃x)(Sx ⊃ ∼Nx)
C) Ct ⊃ (∃x)(Sx • ∼Nx)
D) (∃x)[Ct ⊃ (Sx • ∼Nx)]

Question

Quizplus · Accepted Answer

C) Ct ⊃ (∃x)(Sx • ∼Nx) correctly translates the statement. "Ct" represents "Tortuga is a city," "⊃" represents "implies," "∃x" represents "there exists some x," "Sx" represents "x is a settlement," "•" represents "and," and "∼Nx" represents "x is not nicely placed." This structure captures the meaning that if Tortuga is a city, then there exists at least one settlement that is not nicely placed.

Select the Best Translation into Predicate Logic