1. (∀X)(∀y)[(Px • Py) ⊃ Pf(x,y)]

question 18

Multiple Choice

1. (∀x) (∀y) [(Px • Py) ⊃ Pf(x,y) ]
2. (∃x) [Px • (∃y) (Py • x≠y • Rxy) ]
-Which of the following propositions is an immediate (one-step) consequence in FF of the given premises?

• A) Pf(a) • (∃y)[Py • f(a)≠x • Rf(a)y]
• B) Pa • (∃y)(Py • a≠y • Ray)
• C) Pf(a)
• D) (∀y)[(Pa • Py) ⊃ Pf(a)]
• E) (∀y)[(Pf(a) • Py) ⊃ Pf(a,y)]