Select the Best Translation into Predicate Logic, Using the Following

question 39

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
-Some tigers and all cheetahs are faster than all lions.

• A) (∃x)[Tx • (∀y)(Ly ⊃ Fxy)] • (∀x)[Cx • (∀y)(Lz ⊃ Fxy)]
• B) (∃x)(∀y)(∀z){(Fyz • Fxz) ⊃ [(Lz • Tx) • Cy]}
• C) (∃x)(∀y)(∀z){[(Lz • Tx) • Cy] ⊃ (Fyz • Fxz)]}
• D) (∃x)(∀y){(Tx • Cy) ⊃ (∀z)[Lz ⊃ (Fzx • Fzy)]}
• E) (∀x){Lx ⊃ [(∃y)(Ty • Fyx) • (∀z)(Cz ⊃ Fzx)]}

---

Definitions:

Gross Profit

The difference between revenue and the cost of goods sold (COGS), indicating the profit made from sales before deducting operating expenses.

Beginning Inventory

The initial value of goods available for sale at the start of an accounting period.

Purchases

The acquisition of goods or services by a company in exchange for money.

Perpetual Inventory System

An inventory system in which a detailed inventory record is maintained, recording each purchase and sale during the accounting period.