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

question 113

Multiple Choice

select the best translation into predicate logic.
-Only athletes who are tall and work hard play professional sports.

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

---

Definitions:

Anion

A negatively charged ion, attracted to the anode during electrolysis, typically formed by the gain of electrons.

Anion

A negatively charged ion, which is formed when an atom gains one or more electrons.

KCN

Potassium cyanide, a highly toxic compound that can release cyanide ions in solution, used in various industrial processes and, historically, in gold mining.

CN-

The cyanide ion, a negatively charged molecule consisting of one carbon and one nitrogen atom, known for its high toxicity.