1. Главная
  2. Библиотека
  3. Логика
  4. Необходимо привести заданные формулы к предваренной нормальной форме. Избавиться от импликации, пронести внешний знак отри...

Необходимо привести заданные формулы к предваренной нормальной форме. Избавиться от импликации, пронести внешний знак отрицания до предикатных переменных.

«Необходимо привести заданные формулы к предваренной нормальной форме. Избавиться от импликации, пронести внешний знак отрицания до предикатных переменных.»
  • Логика

Условие:

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

Решение:

1) Избавляемся от импликации

проносим внешний знак отрицания до предикатных переменных

теперь выносим квантор существования по у

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

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

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