Select the Best Translation into Predicate Logic $\lor$ Wx)}
B) (∀X){[(Ax • Px) • Dx] ⊃ ∼∼(Tx

Multiple Choice

select the best translation into predicate logic.
-No athletes who play professional sports and have determination are neither tall nor work hard.

A) (∀x) {[(Ax • Px) • Dx] ⊃ ∼(Tx $\lor$ Wx) }
B) (∀x) {[(Ax • Px) • Dx] ⊃ ∼∼(Tx $\lor$ Wx) }
C) (∀x) {[(Ax • Px) • Dx] ⊃ (∼Tx $\lor$ ∼Wx) }
D) ∼ (∀x) {[(Ax • Px) • Dx] ⊃ (Tx $\lor$ Wx) }