1 (∀X)(∀y)(∃z)Sf(x)yz
2 $\lor$ Mzyx)]
-Which of the Following Propositions Is an Immediate (One-Step)

Multiple Choice

1. (∀x) (∀y) (∃z) Sf(x) yz
2. (∀x) (∀y) (∀z) [Sxyz ⊃ ∼(Cxyz $\lor$ Mzyx) ]
-Which of the following propositions is an immediate (one-step) consequence in FF of the given premises?

A) (∀y) (∃z) Sf(x) yz
B) (∀y) (∃z) Sxyz
C) (∀y) (∃z) Sf(x) f(y) f(z)
D) Sabc
E) Sf(a) f(b) f(c)