select the best translation into predicate logic.
-Not all the settlements have trading ports.
A) (∀x)(Sx ⊃ ∼Tx)
B) ∼(∀x)(Sx ⊃ Tx)
C) ∼(∀x)(Sx ⊃ ∼Tx)
D) (∀x)(Sx ⊃ Tx)

Question

Quizplus · Accepted Answer

The correct translation is B) ∼(∀x)(Sx ⊃ Tx), which negates the statement that "for all x, if x is a settlement, then x has a trading port," effectively saying "it is not the case that every settlement has a trading port."

Select the Best Translation into Predicate Logic