Select the Best Translation into Predicate Logic, Using the Following

question 20

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 lion is faster than some tigers.

• A) ~(∃x)[Lx • (∀y)(Ty ⊃ Fyx)]
• B) (∀x)[Lx ⊃ (∃y)(Ty • ∼Fxy)]
• C) ~(∃x)[Lx • (∃y)(Ty • Fxy)]
• D) ~(∃x)(∃y)[(Lx • Ty) • Fxy]
• E) (∀x)[Lx ⊃ (∀y)(Ty ⊃ ~Fyx)]

---

Definitions:

Roll-Up Rear Door

A type of door commonly used on commercial vehicles and storage containers that rolls up to open, allowing for easy access to the cargo area.

Pickup And Delivery Work

Pickup And Delivery Work involves the transport of goods or materials from a pickup point to a specified delivery location, common in logistics and courier services.

Trailer-Specific Tires

Tires designed with specific tread patterns, sidewall compounds, and dimensions tailored for trailers to enhance durability and stability under load.

Shallow Treads

Refers to tires with reduced groove depth on the tire tread, which can affect traction, especially in wet conditions.