- •9. Вопросы к экзамену
- •10. Рекомендуемая литература
- •1. Основная литература
- •2. Дополнительная литература
- •Лекция № 2.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция № 3.
- •Основные вопросы, рассматриваемые на лекции:
- •Законы алгебры высказываний
- •Краткое содержание лекционного материала
- •Лекция № 4.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция № 5.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция № 6.
- •Основные вопросы, рассматриваемые на лекции:
- •Лекция № 7.
- •Основные вопросы, рассматриваемые на лекции:
- •Лекция № 8.
- •Основные вопросы, рассматриваемые на лекции:
- •Лекция № 9.
- •Основные вопросы, рассматриваемые на лекции:
- •Непротиворечивость исчисления высказываний
- •Независимость аксиом исчисления высказываний
- •Лекция № 10.
- •Основные вопросы, рассматриваемые на лекции:
- •Лекция №11.
- •Основные вопросы, рассматриваемые на лекции:
- •Операции над предикатами Краткое содержание лекционного материала
- •Лекция №12.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №13.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №14.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №15.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №15.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №16.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №18.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Лекция №19.
- •Основные вопросы, рассматриваемые на лекции:
- •Краткое содержание лекционного материала
- •Практическое занятие №2 Тема: Запись предложений на языке пропозициональной логики
- •Практическое занятие №3 Тема: Тавтологии. Законы логики
- •Практическое занятие №4 Тема: Логическое следование
- •Практическое занятие №5 Тема: Равносильность формул
- •Практическое занятие №6 Тема: Дизъюнктивные и конъюнктивные нормальные формы
- •Практическое занятие №7 Тема: Виды теорем. Необходимые и достаточные условия
- •Практическое занятие №11 Тема: Полные системы связок
- •Практическое занятие №12 Тема: Построение выводов теорем
- •Практическое занятие №13 Тема: Независимость аксиом исчисления высказываний
- •Практическое занятие №14 Тема: Операции над предикатами
- •Практическое занятие №15 Тема: Интерпретации. Виды формул
- •Практическое занятие №16 Тема: Запись математических предложений на языке логики предикатов
- •Практическое занятие №17 Тема: Свойства обобщений и подтверждений
- •Практическое занятие №18 Тема: Логически общезначимые формулы
- •Практическое занятие №19 Тема: Отрицание формул
- •1. Мендельсон э. Введение в математическую логику. – м.: Наука, 1976. – 320 с.
- •2. Игошин в.И. Задачи и упражнения по математической логике и теории алгоритмов. - м.: Академия, 2007. – 304 с.
Лекция №16.
Тема: ТЕОРЕМЫ В ТЕОРИЯХ ПЕРВОГО ПОРЯДКА
Основные вопросы, рассматриваемые на лекции:
Теорема о тавтологии
Теорема о тавтологическом следствии
Теорема редукции
Теорема подстановки для квантора
Производныое правила: введения , обобщения, подстановки
Краткое содержание лекционного материала
Пусть P – тавтология с пропозициональными переменными p1,…,pn, а A – формула, полученная из P заменой каждого вхождения переменой pi формулой Bi для всех i1,…,n (B1,…,Bn – формулы теории первого порядка). Формула A называется частным случаем тавтологии P.
Поскольку теории первого порядка содержат аксиомы A1-A3 и правило MP, то из исчисления высказываний можно перенести следующую теорему.
Теорема о тавтологии. Пусть формула A теории T является частным случаем некоторой тавтологии. Тогда A – теорема T.
Если формула A1…AnB теории T – частный случай тавтологии, то формула B называется тавтологическим следствием формул A1-An.
Из теоремы о тавтологии следует
Теорема о тавтологическом следствии. Пусть формула B является тавтологическим следствием теорем A1-An. Тогда B – тоже теорема T.
Формула A*x1…xnA, где x1,…,xn – все свободные переменные формулы A, называется замыканием формулы A.
Теорема редукции. Формула A теории T является теоремой теории T тогда и только тогда, когда теория T[A*] будет противоречивой.
Аксиома (A4) называется аксиомой подстановки для квантора . Докажем теорему подстановки для квантора :
(T1) Ax[t]xA.
Доказательство построим в виде вывода:
1. xAAx[t] (A4)
2. Ax[t]xA тавтологическое следствие
3. Ax[t]xA определение квантора
Правило () называется правилом введения квантора . Докажем правило введения квантора :
() ABxAB,
где переменная x не свободна в B. Доказательство построим в виде вывода:
1. AB гипотеза
2. BA тавтологическое следствие
3. BxA правило ()
4. xAB тавтологическое следствие
5. xAB определение квантора
Следующее правило называется правилом обобщения:
(P1) AxA.
Доказательство построим в виде вывода:
1. A гипотеза
2. xAA тавтологическое следствие
3. xAxA правило ()
4. xA тавтологическое следствие
Следующее правило называется правилом подстановки:
(P2) A Ax[t].
Доказательство построим в виде вывода:
1. A гипотеза
2. xA (P1)
3. xAAx[t] (A4)
4. Ax[t] (MP)
Формула Ax1…xnA называется замыканием формулы A, если x1,…,xn – все переменные, свободные в A. Из определения истинностного значения формулы – обобщения следует, что формула A и ее замыкание A логически эквивалентны: AA.
Теорема о замыкании. AA.
Доказательство. 1) Пусть A. Тогда n раз применим правило обобщения (P1), и получим, что A.
2) Пусть A. Тогда запишем n аксиом подстановки (A4):
x1x2x3…xn1xnAx2x3…xn1xnA;
x2x3…xn1xnAx3…xn1xnA;
……………………………………..
xn1xnAxnA;
xnAA.
Применим n раз правило (MP), и получим, что A.
Формула без свободных вхождений переменных называется замкнутой. В частности, замыкание формулы является замкнутой формулой.
(T2) x(AB)(AxB),
где переменная x не свободна в A.
Доказательство построим в виде вывода:
1. x(AB)(AB) (A4)
2. (x(AB)A)B)) тавтологическое следствие
3. (x(AB)A)xB)) ()
4. x(AB)(AxB) тавтологическое следствие