Привести к сколемовской стандартной форме: (Ǝ x Ɐ y Ǝ z Ɐ w (P^4.(x; y; z; w)). Привести к сколемовской стандартной форме: (Ǝ x Ɐ y Ǝ z Ɐ w (P^4.(x; y; z; w)).

(Ǝ xⱯyƎ zⱯw(P⁴.(x; y; z; w)).

Рассмотрим кванторную приставку формулы. В кванторной приставке рассматриваемой формулы сначала идёт квантор существования, который связывает предметную переменную x. Поэтому указанную предметную переме...