Solved

Select the Best Translation into Predicate Logic, Using the Following

Question 291

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 lions are larger than all cheetahs.


A) (∃x) [Lx • (∀y) (Lxy ⊃ Cy) ]
B) (∃x) (∀y) [(Lx • Lxy) ⊃ Cy]
C) (∃x) [Lx • (∀y) (Cy ⊃ Lxy) ]
D) (∀x) [Cx ⊃ (∃y) (Ly • Lxy) ]
E) (∃x) [Lx ⊃ (∀y) (Cy ⊃ Lxy) ]

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions