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

question 22

Multiple Choice

select the best translation into predicate logic, using the following translation key:
b: Bhavin
c: Chloe
m: Megha
n: Nietzsche
p: Plato
Ax: x is an altruist
Jx: x is joyful
Px: x is a philosopher
Rx: x is Russian
Tx: x is thoughtful
Bxy: x is a brother of y
Mxy: x mocks y
Rxy: x is richer than y
Sxy: x is smarter than y
-Everything is joyful, except Megha and Bhavin.

• A) ~Jb • ~Jm • (∀x)(x≠m • x≠b • Jx)
• B) (∀x)[Jx ≡ (x≠m \( \lor \) x≠b)]
• C) (∀x)(Jx \( \lor \) x=m \( \lor \) x=b)
• D) ~Jb • ~Jm • (∀x)[Jx ⊃ (x≠b • x≠m)]
• E) ∼Jm • ∼Jb • (∀x)[(x≠m • x≠b) ⊃ Jx]