1 (∃X)[Px • (∀Y)(Py ⊃ Y=x) • (∃Y)(Qy • Rxy)]

Multiple Choice

1. (∃x) [Px • (∀y) (Py ⊃ y=x) • (∃y) (Qy • Rxy) ]
2. (∃x) [Px • Sx • (∀y) ∼Ryx]
-Which of the following propositions is derivable from the given premises in F?

A) (∃x) (∀y) ~Rxy
B) (∃x) (Sx • Qx)
C) (∃x) (∃y) (Rxy • ∼Ryx)
D) (∀x) (Sx ⊃ Rxx)
E) (∀x) (Px ⊃ Rxx)