Select the Best Translation into Predicate Logic, Using the Following

question 208

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 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)]