6.5.11 Исчисление предикатов

Условие: Выполнить сколемизацию следующих формул, представленных в предваренной форме: \[ \forall y \forall z \exists x \forall w[(T(x, w) \vee P(x, y) \& S(x, z)) \rightarrow R(x, w)] . \]