Multiple Choice
select the best translation into predicate logic, using the following translation key:
h: Hume
l: Locke
Px: x is a philosopher
Rx: x is a rationalist
Ixy: x influenced y
Sxy: x is more skeptical than y
-All philosophers are more skeptical than some rationalists.
A) (∀x) [Px ⊃ (∀y) (Ry ⊃ Sxy) ]
B) (∀x) [Px ⊃ (∀y) (Sxy ⊃ Ry) ]
C) (∀x) [Px • (∃y) (Ry • Sxy) ]
D) (∀x) [Px ⊃ (∃y) (Ry • Sxy) ]
E) (∃x) [Px • (∃y) (Ry • Sxy) ]
Correct Answer:

Verified
Correct Answer:
Verified
Q31: consider the following domain, assignment of
Q32: provide a conterexample in a finite domain
Q33: (∃x)(∃y)(Axy • x=y) ⊃ (∃x)Axx<br>-Which of
Q34: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]<br>2. (∃x)[Px
Q35: All philosophers respect each other. Some philosopher
Q37: select the best translation into predicate logic,
Q38: construct a model for each of the
Q39: select the best translation into predicate logic,
Q40: provide a conterexample in a finite domain
Q41: Translate each sentence into predicate logic, using