« Предыдущий вопрос
Исчисление высказываний. Принцип резолюции.

Выводимость формулы B из множества посылок F1; F2; … Fn равносильна доказательству теоремы ├─ (F1 &

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

txt fb2 ePub html

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

Что это

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

Сообщество

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

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

Следующий вопрос »
Исчисление предикатов. Основные понятия.

В то время, как исчисление высказываний проявляет интерес только к внешним связям простых повествова

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


см. вопрос 9.
Для усиления принципа резолюции оказалось возможным повторное и неоднократное использование резольвент в процессе вывода, т. е. превращать центральные узлы графа в боковые вершины. Этот метод получил название линейной резолюции.
Следует обратить внимание, что использование закона дистрибутивности ведёт к “разбуханию” формул, что разрушает их структуру и может привести к неверным заключениям в принципе резолюции. Более того учёт невостребованных посылок также не обеспечивает пустой резольвенты.
Для усиления принципа резолюции вводят упорядоченные дизъюнкты по их вхождению в резольвенты и учёт информации об удаляемых контрарных литерах для возможного их восстановления в последующих склеиваниях.