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)}

Question

Quizplus · Accepted Answer

The correct translation is B) because it correctly captures the logical structure of the sentence. The double negation (∼∼) translates the "neither...nor" into a positive assertion that all athletes who play professional sports and have determination are either tall or work hard.

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

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