6.5.11 Predicate calculus

Problem: Perform skolemization of the following formulas presented in preliminary form: \[ \forall y \forall z \exists x \forall w[(T(x, w) \vee P(x, y) \& S(x, z)) \rightarrow R(x, w)] . \]