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:

Author Names

The individuals credited with creating a specific work, such as a research paper or study, often indicating their contribution and expertise.

Publication Date

The date on which a work, such as a research paper or book, is made available to the public, often indicating its relevance and currency.

Literature Review

An exhaustive summary and critical evaluation of existing literature on a specific topic.

Research Study

An organized inquiry designed to develop new knowledge or validate existing knowledge based on systematic investigation.