Заказ: 1146796

Привести к предваренной нормальной форме и сколемовской нормальной форме: (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))

Привести к предваренной нормальной форме и сколемовской нормальной форме: (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))
Описание

Подробное решение в WORD





Предварительный просмотр

Привести к предваренной нормальной форме и сколемовской нормальной форме:               (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))