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
-Some rationalists influenced some philosophers who were more skeptical than them.
A) (∀x) {Px ⊃ (∃y) [(Ry • Syx) • Ixy]}
B) (∃x) {Px • (∃y) [(Ry • Sxy) • Ixy]}
C) (∃x) {Rx • (∃y) [(Py • Syx) • Ixy]}
D) (∃x) {Rx • (∃y) [(Py • Sxy) • Iyx]}
E) (∃x) {Rx • (∀y) [(Py • Syx) ⊃ Ixy]}
Correct Answer:

Verified
Correct Answer:
Verified
Q129: select the best translation into predicate logic,
Q130: determine whether the given argument is valid
Q131: derive the conclusions of each of the
Q132: select the best English interpretation of the
Q133: 1. (?x)(?y)(Bxy ? Dyx)<br>2. (?x)Bxf(x) / (?x)Df(x)x
Q135: select the best translation into predicate logic,
Q136: 1. Fab • (∀x)(Fax ⊃ x=b)<br>2. ∼Fac<br>-Which
Q137: 1. (∀x)(∀y)(Bxy ≡ Dyx)<br>2. (∃x)Bxf(x)<br>-Which of the
Q138: provide a conterexample in a finite domain
Q139: (∀x)[Px ⊃ (∃y)Rxy] ⊃ [(∀x)(∀y)∼Rxy ⊃ ∼(∃x)Px]<br>-Consider