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 tiger is faster than all cheetahs.
A) ∼(∃x)[Tx • (∀y)(Cy ⊃ Fxy)]
B) (∀x)[Tx ⊃ ~(∀y)(Cy • Fxy)]
C) (∀x)[Tx ⊃ ~(∃y)(Cy ⊃ Fxy)]
D) ~(∃x)[Cx • (∃y)(Ty . Fyx)]
E) ~(∃x)[Tx • (∀y)(Fyx ⊃ Cy)]

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
-No tiger is faster than all cheetahs.
A) ∼(∃x)[Tx • (∀y)(Cy ⊃ Fxy)]
B) (∀x)[Tx ⊃ ~(∀y)(Cy • Fxy)]
C) (∀x)[Tx ⊃ ~(∃y)(Cy ⊃ Fxy)]
D) ~(∃x)[Cx • (∃y)(Ty . Fyx)]
E) ~(∃x)[Tx • (∀y)(Fyx ⊃ Cy)]

Quizplus · Accepted Answer

The correct translation of "No tiger is faster than all cheetahs" is "It is not the case that there exists a tiger that is faster than every cheetah," which is accurately represented by option A: ∼(∃x)[Tx • (∀y)(Cy ⊃ Fxy)]. This statement negates the existence of any tiger (Tx) that for all cheetahs (Cy), the tiger is faster than the cheetah (Fxy).

Select the Best Translation into Predicate Logic, Using the Following