« Предыдущий вопрос
Исчисление предикатов. Основные аксиомы вывода.

Среди множества тождественно истинных формул существует подмножество, являющееся аксиомами исчислени

Загрузка
Скачать Получить на телефон
например +79131234567

txt fb2 ePub html

на телефон придет ссылка на файл выбранного формата

Что это

Шпаргалки на телефон — незаменимая вещь при сдаче экзаменов, подготовке к контрольным работам и т.д. Благодаря нашему сервису вы получаете возможность скачать на телефон шпаргалки по математической логике. Все шпаргалки представлены в популярных форматах fb2, txt, ePub , html, а также существует версия java шпаргалки в виде удобного приложения для мобильного телефона, которые можно скачать за символическую плату. Достаточно скачать шпаргалки по математической логике — и никакой экзамен вам не страшен!

Сообщество

Не нашли что искали?

Если вам нужен индивидуальный подбор или работа на заказа — воспользуйтесь этой формой.

Следующий вопрос »
Исчисление предикатов. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).

см. вопрос 18, 10 Линейная резолюция может быть существенно усилена в исчислении предикатов введение

Исчисление предикатов. Принцип резолюции.


Если в результате приведения к виду ПНФ матрица формулы M не будет содержать свободных переменных и сколемовских функций, то для вывода заключения полностью применим принцип резолюции исчисления высказываний (см. вопрос 9). Необходимо сформировать из матрицы множество дизъюнктов и сравнивая контрарные литеры получить пустую резольвенту .
В результате приведения формулы к виду ССФ матрица формулы будет содержать сколемовские функции, где для получения контрарных литер необходимо выполнить операцию подстановки и замены термов предикатов.
Т. о. главной проблемой принципа резолюции в исчислении предикатов является замена и подстановка термов. В случае решения этой задачи принцип резолюции применим также, как в исчислении высказываний.
Принцип резолюции является более эффективной процедурой вывода, нежели дедуктивный вывод (процедура Эрбрана). Но он страдает существенным недостатком в формировании множества излишних и ненужных резольвент.