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

уникальность
не проверялась

Аа

606 символов

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

Контрольная работа

Реферат.Справочник
Контрольные работы по высшей математике
Методом резолюций докажите теорему ├ (А → В) → ((А → (В → С)) → (А → С))

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

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

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

Решение

Потяни, чтобы посмотреть

Приведем посылки и отрицание заключения к КНФ:
А → В = А В – посылка
((А → (В → С)) → (А → С)) = ((А В С) А С) =
= (А В С)АС = (А В С)АС – отрицание заключения.
Получено множество дизъюнктов: K = {А В, А В С, А, С}.
Построим резолютивный вывод из K

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу