Multiple Choice
(∃x) [Px • (∃y) (Qy • y=x) ] ⊃ (∃x) (Px • Qx)
-Which of the following propositions is also derivable in F?
A) (∀x) (Px ⊃ (∀y) (Qy ⊃ y≠x) ] (∀x) (Qx ⊃ ~Px)
B) (∀x) (Px ⊃ ∼Qx) ⊃ (∀x) [Px ⊃ (∀y) (Qy ⊃ y≠x) ]
C) (∀x) [Px ⊃ (∀y) (Qy ⊃ y=x) ] ⊃ (∀x) (Qx ⊃ ~Px)
D) (∀x) [Px ⊃ (∀y) (Qy ⊃ y≠x) ] ⊃ (∀x) (Px ⊃ ~Qx)
E) (∀x) (Px ⊃ ~Qx) (∃x) (Px • Qx)
Correct Answer:
Verified
Correct Answer:
Verified
Q16: determine whether the given argument is valid
Q17: select the best translation into predicate
Q18: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]<br>2. (∃x)[Px
Q19: All philosophers respect each other. Some
Q20: select the best translation into predicate logic,
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.
Q24: 1. (∀x)[Ex ⊃ (∀y)(Fy • Gxy)]<br>2. (∃x)(Ex
Q25: (∃x)[Px • (∃y)(Qy • y=x)] ⊃ (∃x)(Px
Q26: 1. (∃x)(∃y){Gx • Gy • x≠y