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
-Some cheetahs are faster than all lions.
A) (∀x)[Lx ⊃ (∃y)(Cy • Fxy)]
B) (∀x)[Lx ⊃ ~(∀y)(Cy • Fyx)]
C) (∃x)(Cx ⊃ (∀y)(Ly ⊃ Fxy)]
D) (∃x)[Cx • (∀y)(Ly ⊃ Fxy)]
E) (∃x)[Cx • (∀y)(Ly • Fxy)]

Question

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
-Some cheetahs are faster than all lions.
A) (∀x)[Lx ⊃ (∃y)(Cy • Fxy)]
B) (∀x)[Lx ⊃ ~(∀y)(Cy • Fyx)]
C) (∃x)(Cx ⊃ (∀y)(Ly ⊃ Fxy)]
D) (∃x)[Cx • (∀y)(Ly ⊃ Fxy)]
E) (∃x)[Cx • (∀y)(Ly • Fxy)]

Quizplus · Accepted Answer

The correct translation is D) because it states that there exists some cheetah (x) such that for all lions (y), the cheetah (x) is faster than the lion (y). This matches the original statement "Some cheetahs are faster than all lions."

Select the Best Translation into Predicate Logic, Using the Following