- •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 с.
Лекция № 7.
Тема: ФОРМАЛЬНЫЕ СИСТЕМЫ. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Основные вопросы, рассматриваемые на лекции:
Определение формальной системы
Метод доказательства индукцией по формулам
Выводом формулы из множества формул
Исчисление высказываний
Краткое содержание лекционного материала
Формальная система S определена, если:
1) Задано счетное множество символов. Конечная последовательность символов называется словом (или строкой).
2) Выделяется множество формул системы S – подмножество множества слов системы S. Обычно указывается алгоритм построения формул.
3) Выделяется множество аксиом системы S – подмножество множества формул системы S.
4) Выделяется множество правил вывода системы S – множество некоторых отношений между формулами системы S. Если – правило вывода, (A1,…,Am,B), то формулы A1,…,Am называются посылками, а формула B – заключением правила . При этом говорят, что формула B непосредственно следует из формул A1,…,Am.
Следующее определение формулы системы S1 является частным случаем определения пропозициональной формулы.
Слово системы S1 называется формулой системы S1, если оно построено строго по следующим правилам:
1) пропозициональные переменные – формулы системы S1;
2) если слово A системы S1 является формулой системы S1, то слово A тоже является формулой системы S1;
3) если слова A и B системы S1 являются формулами системы S1, то слово (AB) тоже является формулой системы S1.
Имеет место метод доказательства индукцией по формулам. Пусть для некоторого свойства формул P(A) доказаны следующие утверждения:
1) если p – пропозициональная переменная, то P(p) верно;
2) если P(A), то P(A) тоже верно;
3) если P(A) верно и P(B) верно, то P (AB) тоже верно.
Тогда свойства P(A) верно для всех формул A системы S1.
Следующее определение теоремы системы S1 является частным случаем определения логического следствия.
Выводом формулы A из множества формул называется конечная последовательность формул A1,…,An, если:
1) AnA;
2) для каждого i1,…,n формула Ai
(a) является некоторой аксиомой, или
(b) принадлежит множеству , или
(c) непосредственно следует по некоторому правилу вывода из формул Ai1,…,Aim, где 1i1,…,imi.
При этом говорят, что формула A следует из множества формул (или A следствие из множества ), и пишут A (или SA). Если A1,…,Am – конечное множество, то пишут также A1,…,AmA (или A1,…,AmSA).
Формула A системы S называется теоремой системы S, если следует из пустого множества формул. Обозначение: A, или SA.
Исчисление высказываний – это формальная система, символами которой являются пропозициональные переменные и связки, а формулами – пропозициональные формулы. Рассмотрим исчисление высказываний S1 с двумя связками и (остальные связки можно определить в терминах и , например, ABAB и AB(AB)) и со следующими аксиомами и правилом вывода:
(A1) A(BA);
(A2) (A(BC))((AB)(AC));
(A3) (BA)((BA)B);
(MP) A, ABB
(где A, B, C – это произвольные пропозициональные формулы, построенные из пропозициональных переменных и связок и ).
Формула системы S называется теоремой системы S, если оно получено строго по следующим правилам:
1) аксиомы (A1), (A2), (A3) являются теоремами системы S;
2) если посылки A и AB правила (MP) – теоремы системы S, то его заключение B – тоже теорема системы S.
Имеет место метод доказательства индукцией по теоремам (мы сформулируем этот метод для теорем системы S). Пусть для некоторого свойства формул P(A) доказаны следующие утверждения:
1) если формула A – одна из аксиом (A1), (A2), (A3), то P(A) верно;
2) если формула A непосредственно следует по правилу (MP) из формул B, BA, P(B) верно, P(BA) верно, то P(A) верно.
Тогда свойство P(A) верно для всех формул A (системы S1).
При доказательстве общих свойств теорем системы S1 мы используем индукцию по формулам или индукцию по теоремам, а при доказательстве конкретной теоремы системы S1 – приводим вывод этой теоремы.