Привести к предваренной нормальной форме следующий предикат:

Для некоторых x, из P(x) следует, что для некоторых x верно S(x).Квантор существования надо вынести в начало и преобразовать операцию следования (что и будет предваренной нормальной формой).Ща, секунду...