select the best translation into predicate logic.
-If some idealists are not skeptics then not all theists are rationalists.
A) (∃x)(Ix • ∼Sx) ⊃ ∼(∀x)(Tx ⊃ Rx)
B) (∃x)(Ix • ∼Sx) ⊃ (∀x)(Tx ⊃ ∼Rx)
C) (∃x)(Ix • ∼Sx) ⊃ ∼(∀x) ∼(Tx ⊃ Rx)
D) (∃x)(Ix • ∼Sx) ⊃ ∼(∃x)(Tx • Rx)

Question

Quizplus · Accepted Answer

The correct translation is "If there exists some x such that x is an idealist and not a skeptic, then it is not the case that for all x, if x is a theist then x is a rationalist." This captures the essence of the statement by indicating that the existence of at least one idealist who is not a skeptic implies that not all theists are rationalists.

Select the Best Translation into Predicate Logic