1. Главная
  2. Библиотека
  3. Высшая математика
  4. Методом резолюций следует доказать теорему├ (А → В) →...
Решение задачи

Методом резолюций следует доказать теорему├ (А → В) → ((А → (В → С)) → (А → С)). Привести посылки и отрицание заключения к КНФ.

  • Высшая математика

Условие:

Методом резолюций докажите теорему├ (А → В) → ((А → (В → С)) → (А → С)).

Решение:

Приведем посылки и отрицание заключения к КНФ:

посылка

- отрицание заключения.

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

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

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