Select the Best Translation into Predicate Logic, Using the Following

question 20

Multiple Choice

select the best translation into predicate logic, using the following translation key:
Cx: x is a cheetah
Lx: x is a lion
Tx: x is a tiger
Fxy: x is faster than y
Lxy: x is larger than y
-No lion is faster than some tigers.

• A) ~(∃x)[Lx • (∀y)(Ty ⊃ Fyx)]
• B) (∀x)[Lx ⊃ (∃y)(Ty • ∼Fxy)]
• C) ~(∃x)[Lx • (∃y)(Ty • Fxy)]
• D) ~(∃x)(∃y)[(Lx • Ty) • Fxy]
• E) (∀x)[Lx ⊃ (∀y)(Ty ⊃ ~Fyx)]

---

Definitions:

KMnO4

Potassium permanganate, a strong oxidizing agent used in a variety of chemical reactions and as a disinfectant.

Hg(OAc)2

Mercury acetate, a chemical compound used in organic chemistry as a reagent, particularly in reactions involving carbocations.

NaBH4

Sodium borohydride (NaBH4) is a reducing agent commonly used in organic synthesis to reduce aldehydes and ketones to alcohols.

Raney Nickel

A finely divided nickel alloy used as a catalyst in hydrogenation and other chemical reactions.