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

question 91

Multiple Choice

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)]

---

Definitions:

Somatic Symptom Disorder

A mental disorder characterized by an excessive focus on physical symptoms, such as pain or fatigue, that causes major emotional distress and problems functioning.

Interpersonal Conflicts

Disagreements or disputes between individuals or groups due to differing beliefs, values, or interests.

Emotional Needs

Fundamental feelings or conditions essential for psychological well-being and health, such as feeling loved, valued, and secure.

Altered Comfort

A condition where an individual experiences a disruption in the way they perceive physical or emotional comfort, potentially due to illness, injury, or psychological stress.