Условие задачи
Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы:
Ответ
Приведенной формой для формулы логики предикатов называется такая равносильная ей формула, в которой из операций алгебры высказываний имеются только операции причем знаки отрицания относятся лишь к предикатным переменным и к высказываниям.
Найдем приведенную форму для заданной формулы: