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

select the best translation into predicate logic, using the following translation key:
b: Britain
c: Charles
e: Elizabeth
t: Tescos
Px: x is a person
Qx: x is a Queen of England
Wx: x is a woman
Exy: x is more exalted than y
Ixy: x is in y
Pxy: x shops at y
Sxy: x is a son of y
-No one who shops at Tescos is more exalted than Charles.

A) (∀x) [(Px • Pxt • x≠c) ⊃ ∼Exc]
B) (∀x) [(Px • Pxt) ⊃ (x=c $\lor$ ~Exc) ]
C) ~(∃x) (Exc • Px • Pxt) • Pct
D) ~(∃x) (Exc • Px • Pxt) • ~Pct
E) (∀x) [x≠c ⊃ (Px • Pxt • ~Exc) ]

Correct Answer:

Verified

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

Access For Free