1. (∀X)(∀y)(∀z)[(Pxy • Pyz) ⊃ Pxz]

Multiple Choice

1. (∀x) (∀y) (∀z) [(Pxy • Pyz) ⊃ Pxz]
2. (∀x) Pxf(x)
-Which of the following propositions is derivable from the given premises in FF?

A) Pf(a) a
B) Pf(a) f(a)
C) (∀x) Pf(x) x
D) (∀x) Pf(x) f(x)
E) (∀x) Pxf(f(x) )