Multiple Choice
1. (∀x) [Ex ⊃ (∀y) (Fy • Gxy) ]
2. (∃x) (Ex • Hxb)
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?
A) Eb ⊃ (∀y) (Fy • Gxy)
B) Ea • Hab
C) Ea ⊃ (∀y) (Fy • Gby)
D) Hbb
E) (∀x) [Ex ⊃ (Fx • Gxx) ]
Correct Answer:
Verified
Correct Answer:
Verified
Q19: All philosophers respect each other. Some
Q20: select the best translation into predicate logic,
Q21: (∃x)[Px • (∃y)(Qy • y=x)] ⊃
Q22: select the best translation into predicate
Q23: 1. (?x)(?y){Pf(x,y) ? [Pf(x,x) • Pf(y,y)]}<br>2. a=f(d,b)<br>3.
Q25: (∃x)[Px • (∃y)(Qy • y=x)] ⊃ (∃x)(Px
Q26: 1. (∃x)(∃y){Gx • Gy • x≠y
Q27: Translate each sentence into predicate logic, using
Q28: 1. (?x)(?y)(?z)[(Pxy • Pyz) ? Pxz]<br>2. (?x)Pxf(x)
Q29: select the best translation into predicate logic,