1. (∀x){Px ⊃ (∃y)[Py • f(x)=y]}
2. Pa • (∀x)f(x)≠a
-Which of the following propositions is derivable from the given premises in FF?
A) Pf(a)
B) (∃x)Pf(x)
C) (∃x)(∀y)f(x)=y
D) (∃x)[(∃y)f(x)=y • ∼(∃y)f(y)=x]
E) f(a)=a

Question

Quizplus · Accepted Answer

The Answer of 1. (∀x){Px ⊃ (∃y)[Py • f(x)=y]}
2. Pa • (∀x)f(x)≠a
-Which of the following propositions is derivable from the given premises in FF?
A) Pf(a)
B) (∃x)Pf(x)
C) (∃x)(∀y)f(x)=y
D) (∃x)[(∃y)f(x)=y • ∼(∃y)f(y)=x]
E) f(a)=a

1. (∀X){Px ⊃ (∃Y)[Py • F(x)=y]}