![](/user_photo/2706_HbeT2.jpg)
- •Введение
- •Тема 1. Логика высказываний
- •1.1. Понятие высказывания
- •1.2. Логические операции
- •1. Отрицание или инверсия ( – не)
- •Конъюнкция ( ,, ·, логическое и )
- •4. Импликация ( ) “если а, то b”
- •6. Сумма по модулю два
- •7. Штрих Шеффера ( , обратная конъюнкция и – не)
- •8. Стрелка Пирса ( , обратная дизъюнкция или – не )
- •1.3. Булевы функции
- •1.3.1. Некоторые определения из теории множеств
- •1.3.2. Булевы функции
- •1.4. Формулы
- •1.5. Равносильные формулы
- •1.6. Подстановка и замена
- •1.7. Формы представления высказываний
- •1.8. Минимизация сложных высказываний методом Квайна
- •1.9. Полные системы функций
- •1.9.1. Система функций { }
- •1.9.2. Замкнутые классы
- •1.9.3. Функциональная полнота
- •Тема 2. Логические исчисления
- •2.1. Интерпретация формул
- •2.2. Примеры тождественно истинных формул высказываний
- •2.3. Формальные теории
- •Выводимость.
- •2.5. Интерпретация формальных теорий
- •2.6. Исчисление высказываний.
- •2.7. Производные правила вывода
- •2.8. Дедукция
- •2.9. Некоторые теоремы теории £
- •Тема 3. Логика и исчисление предикатов
- •3.1. Предикаты
- •3.2. Исчисление предикатов
- •3.3. Интерпретация
- •3.4. Основные равносильности для предикатов
- •3.5. Приведенная форма представления предикатов
- •Тема 4. Автоматическое доказательство теорем
- •4.1. Постановка задачи
- •4.2. Доказательство от противного
- •4.3.Правило резолюции для исчисления высказываний
- •4.4. Правило резолюции для исчисления предикатов
- •4.5. Основные положения мр (выводы)
- •4.6. Логическое программирование
- •Тема 5. Теория алгоритмов
- •5.1. Интуитивное понятие алгоритма
- •5.2. Конкретизация понятия алгоритма
- •5.2.1. Машины Тьюринга
- •5.2.3. Рекурсивные функции
- •5.2.3. Нормальные алгорифмы Маркова
- •5.3. Алгоритмически неразрешимые проблемы
- •5.3.1. Проблема самоприменимости
- •5.3.1.1. Нумерация мт
- •5.3.1.2. Самоприменимость мт
- •5.3.2. Проблема останова
- •5.3.3. Разрешимые и неразрешимые задачи математики
- •5.4. Характеристики сложности вычислений
- •5.5. Классы сложности задач
- •5.5.1. Р задачи
- •5.5.2. Np задачи
Выводимость.
Пусть F1,F2,….Fn,G
– формулы теории
(Ф). Применяя к ним правила вывода R
можно получить некоторую совокупность
формул Ф1, такую, что
.
Про формулы из Ф1 можно сказать, что они
выводятся из Ф за один шаг. Далее можно
рассматривать множество формул Ф2,
выводимых из Ф1 за один шаг, т. е. из Ф они
выводятся за два шага , и т. д. Некоторая
формула А будет считаться выводимой из
Ф, если она выводима из Ф за конечное
множество шагов, т. е. принадлежит
множеству Фm.
Примеры.
Пусть Ф=х1. Тогда x1{…}=A, т. е. с помощью правила подстановки можно получить любую однобуквенную формулу. Вывод: х,А., т. е. если из некоторого заданного множества формул выводима однобуквенная формула хi, то из этого множества выводимы все формулы.
Пусть Ф=(x1->x2). Тогда (x1->x2){( x1->x2)//x1}=( (x1->x2)->x2). Следовательно из Ф выводима формула ( (x1->x2)->x2) и сама формула (x1->x2). Применим к этим двум формулам правило mp. Получим формулу х2. Если A произвольная формула, то мы можем получить ее из х2 по правилу подстановки.
Вывод: Если все формулы некоторого множества Ф’ выводимы из множества Ф, а А выводима из Ф’, то А выводима из Ф
Пусть Ф={A,
}. Тогда из Ф выводима любая формула. Применяя mp к формулам ,
получаем формулу
.Еще раз применим mp к
, получим х. Следовательно, мы можем вывести любую формулу. Вывод: Если из какой-то системы формул можно вывести А и
то такая система формул называется противоречивой, из нее выводится любая формула.
Выводом формулы G из формул F1,F2,….Fn в формальной теории называется такая последовательность формул E1,E2,….Ek, что Ek=G, а любая формула Ei (i<k) является либо аксиомой, либо исходной формулой, либо непосредственно выводима из ранее полученных формул.
Если в теории существует вывод G из формул F1,F2,….Fn, то это записывают следующим образом:
F1,F2,….Fn
,
где F1,F2,….Fn
– гипотезы.
Если , то G – теорема (т. е. теорема – это формула, выводимая из аксиом без гипотез).
Если
,
то
,
где
- любые множества формул (при добавлении
лишних гипотез выводимость сохраняется).
2.5. Интерпретация формальных теорий
Интерпретацией формальной теории
в
область интерпретации М называется
функция
,
которая каждой формуле формальной
теории ставит в соответствие некоторое
содержательное высказывание относительно
объектов множества М. Если соответствующее
высказывание истинно, то говорят, что
формула выполняется в интерпретации
I.
Интерпретация называется моделью множества формул Г, если все формулы выполняются в данной интерпретации.
Если формула истинна в любой интерпретации, то это тавтология, если формула ложна в любой интерпретации, то это противоречие.
Формальная теория называется семантически непротиворечивой, если ни одна ее теорема не является противоречием.
Модель для формальной теории существует тогда и только тогда, когда она семантически непротиворечива.
Формальная теория формально непротиворечива, если в ней нельзя одновременно вывести формулу F и ее отрицание.
Формальная теория называется полной, если каждому истинному высказыванию модели М соответствует теорема теории .
Если для множества М существует формально полная непротиворечивая теория , то множество М называется аксиоматизируемым или формализуемым.
Формальная теория называется разрешимой, если существует алгоритм, который определяет, является ли формула теоремой теории.