select the best translation into predicate logic.
-Only tall athletes play professional basketball.
A) (∀x)[Px ⊃ (Tx • Ax)]
B) (∀x)[(Tx • Ax) ⊃ Px]
C) (∀x)[(Tx $ \lor $ Ax) ⊃ Px]
D) (∀x)[Px ≡ (Tx • Ax)]

Question

Quizplus · Accepted Answer

The statement "Only tall athletes play professional basketball" can be translated as "If someone is not a tall athlete, then they do not play professional basketball." This can be expressed in predicate logic as (∀x)[¬(Tx • Ax) ⊃ ¬Px]. Using De Morgan's law to simplify, we get (∀x)[(Tx • Ax) ⊃ Px], which is option A.

Select the Best Translation into Predicate Logic ∨ \lor ∨ Ax) ⊃ Px] D) (∀X)[Px ≡ (Tx • Ax)]

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