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

select the best translation into predicate logic, using the following translation key:
d: Diego
s: Sean
Dx: x is on the Dean's list
Px: x is a philosophy major
Sx: x is a student
Vx: x is a valedictorian
-There is exactly one philosophy major on the Dean's list.

A) (∃x) {(Px • Dx) • (∀y) [(Py • Dy) ⊃ y=x]}
B) (Pd • Ps) ⊃ [(Dd $\lor$ Ds) • ~(Dd • Ds) ]
C) (∀x) (∀y) {[(Px • Dx) • (Py • Dy) ] ⊃ x=y}
D) (∃x) {(Px • Dx) ⊃ (∀y) [(Py • Dy) ⊃ x=y]}
E) (Pd • Dd) $\lor$ (Ps • Ds)

Correct Answer:

Verified

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

Access For Free