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

23 января 2025
Высшая математика

Условие:

Привести к сколемовской стандартной форме:

(Ǝ xⱯyƎ zⱯw(P4.(x; y; z; w)).

Решение:

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

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