Select the Best Translation into Predicate Logic, Using the Following $\lor$

question 121

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
-All lions and tigers are larger than some cheetahs, but not faster than all cheetahs.

• A) (∀x)(∀y){(Lx • Ty) ⊃ (∃z)[(Cz • Lxz) • Lyz]} • ~(∀x)(∀y)(∀z)(Fxz • Fyz)
• B) ~(∃x){Cx • (∀y)[(Ly \( \lor \) Ty) ⊃ (Fxy • Lyx)]}
• C) (∀x){(Lx \( \lor \) Tx) ⊃ ~(∃y)[Cy • (Fyx • Lxy)]}
• D) (∃x){Cx ⊃ (∀y)(∀z)[(Ly . Tz) ⊃ (~Fxy . ~Lzx)]}
• E) (∀x){(Lx \( \lor \) Tx) ⊃ [(∃y)(Cy • Lxy) • ∼(∀y)(Cy ⊃ Fxy)]}

---

Definitions:

Style Sheet

A guide containing set standards for the writing and design of documents, ensuring consistency across documents.

Document Template

A pre-designed file that serves as a starting point for a new document, providing a consistent format and structure.

Work-Schedule Form

A document that outlines the days and hours an employee is expected to work.

Task-Deadline Form

A document or tool that outlines tasks to be completed along with their respective deadlines.