1. Главная
  2. Библиотека
  3. Логика
  4. Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы: Приведенной формой дл...

Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы: Приведенной формой для формулы логики предикатов называется такая равносильная ей формула, в которой из

«Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы: Приведенной формой для формулы логики предикатов называется такая равносильная ей формула, в которой из»
  • Логика

Условие:

 Для данной формулы найдите ее предваренную, сколемовскую и теоретико-множественную нормальные формы:

Решение:

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

Найдем приведенную форму для заданной формулы:

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет