Select the Best Translation into Predicate Logic $\lor$ (∀X)(Tx ⊃ ∼Ax)
D) (∀X)[Ix ⊃ (Ax • ∼Tx)]

Multiple Choice

select the best translation into predicate logic.
-All idealists are apriorists, but not theists.

A) (∀x) [(Ix ⊃ Ax) • ∼Tx]
B) (∀x) [Ix ⊃ (∼Ax • Tx) ]
C) (∀x) (Ix ⊃ Ax} $\lor$ (∀x) (Tx ⊃ ∼Ax)
D) (∀x) [Ix ⊃ (Ax • ∼Tx) ]