- •Содержание
- •1. Множества 10
- •2. Математическая логика 39
- •3. Теория графов 96
- •Тема 1. Множества 168
- •Тема 2. Математическая логика 169
- •Тема 3. Теория графов 171
- •Тема 1.
- •Множества
- •1.1. Операции над множествами. Мощность множеств. Отображение множеств
- •Упражнение 1.1.1
- •Упражнение 1.1.2
- •1.2. Отношения на множествах
- •Будет ли пустое множество V каким-либо подмножеством некоторого множества?
- •Тема 2.
- •Математическая логика
- •2.1. Алгебра высказываний
- •Логические операции
- •Функции алгебры высказываний
- •2.2. Проблемы разрешимости. Нормальные формы Логические отношения
- •2. Отношение эквивалентности.
- •3. Несовместимость.
- •Проверка правильности рассуждений
- •Нормальные формы формул алгебры высказываний
- •Совершенные нормальные формы
- •Построение формулы алгебры высказываний по заданной логической функции
- •Моделирование алгебры высказываний с помощью релейно-контактных схем
- •2.3. Исчисление высказываний Символы, формулы, аксиомы исчисления высказываний. Правила вывода
- •Теорема дедукции
- •Проблемы непротиворечивости, полноты, независимости аксиом исчисления высказываний
- •2.4. Логика предикатов
- •Кванторы
- •Кванторы как обобщение логических связок.
- •Отрицание кванторных предикатов
- •Тема 3.
- •Теория графов
- •3.1. Графы
- •Степень вершины графа. Число ребер графа
- •Связность
- •Эйлеровы и гамильтоновы цепи и циклы. Теоремы Эйлера
- •Изоморфизм графов
- •Планарность. Плоские графы
- •Числа, характеризующие граф
- •Операции над графами. Объединение графов
- •Пересечение (произведение) графов
- •Прямое произведение графов
- •Матрицы для графов
- •Матрица инциденций
- •Матрицы достижимостей и контрадостижимостей
- •3.2. Деревья
- •Постановка задачи
- •Алгоритм Краскала
- •3.3. Экстремальные задачи на графах Задача о кротчайшем пути между двумя вершинами ориентированного графа и ее экономическая интерпретация
- •Алгоритм
- •Сети. Отношение порядка между вершинами ориентированного графа
- •Задача о пути максимальной длины между двумя вершинами ориентированного графа в сетевом планировании
- •Алгоритм
- •Сетевое планирование. Скорейшее время завершения проекта
- •Контрольное задание №1
- •Контрольное задание №2
- •Контрольное задание №3
- •Контрольное задание №4
- •Контрольное задание №5
- •Контрольное задание №6
- •Контрольное задание №7
- •Контрольное задание №8
- •Контрольное задание №9
- •Контрольное задание №10
- •Контрольное задание №11
- •Контрольное задание №12.
- •Контрольное задание №13.
- •Контрольное задание №14.
- •Контрольное задание №15
- •Список рекомендуемой литературы
- •Интернет-ресурсы
- •Тема 2. Математическая логика
- •Тема 3. Теория графов
2.3. Исчисление высказываний Символы, формулы, аксиомы исчисления высказываний. Правила вывода
Рассмотрим формальную аксиоматическую систему, в некотором смысле адекватную алгебре высказываний. Назовем эту систему исчислением высказываний.
Чтобы построить исчисление, нужно определить алфавит исчисления, понятие формулы, класс формул, называемых аксиомами, правила вывода данного исчисления.
Символы исчисления высказываний состоят из знаков трех категорий:
Большие латинские буквы А, В, С, ... X, Y, Z, ..., которые назовем переменными высказываниями.
Символы операций исчисления , , , (знак конъюнкции, дизъюнкции, следования и отрицания).
Скобки ( ).
Других символов система исчисления высказываний не содержит.
Формулой в исчислении высказываний является некоторая последовательность символов. Но не всякая последовательность символов есть формула. Например, последовательности А→В(С→) и (АВ) не являются формулами. Определение формулы в исчислении высказываний задается следующим образом:
-
Всякое переменное высказывание есть формула.
-
Если , есть формулы, то выражения вида (), , , (), () также являются формулами.
Зададим в исчислении высказываний класс исходных истинных формул-аксиом.
I. |
1. |
А(ВА); |
|
2. |
(А (ВС))((АВ)(АС); |
II. |
1. |
АВА; |
|
2. |
АВВ; |
|
3. |
(АВ)((АС)(АВС)); |
III. |
1. |
ААВ; |
|
2. |
ВАВ; |
|
3. |
(АС)((ВС)(АВС)). |
IV. |
1. |
; |
|
2. |
; |
|
3. |
. |
Правила вывода позволяют из данной системы аксиом получать другие истинные формулы исчисления высказываний. Назовем формулу исчисления высказываний ложной, если ее отрицание истинно. Будем обозначать истинные формулы буквой R, ложные – F.
К основным правилам вывода относятся два:
-
Правило заключения.
Если и () – истинные формулы, то также истинна. Это предложение можно записать в виде
.
-
Правило подстановки
Пусть некоторая формула содержит переменное высказывание А. Тогда, заменив высказывание А всюду, где оно встречается, любой формулой , получим истинную формулу. Это предложение записывается в виде .
Формула называется выводимой в исчислении высказываний, если ее можно получить, применяя правила вывода к аксиомам исчисления высказываний. Утверждение, что формула выводима, записывают так:
├.
Процесс получения формул из аксиом исчисления высказываний называется формальным выводом. Формальный вывод состоит из указания того, какие правила, в каком порядке и к каким формулам применяется для выведения данной формулы.
Упражнение 2.3.3
Докажем, что выводима формула АА, т.е. АА.
-
Запишем аксиому 2 из группы I.
(А (ВС))((АВ)(АС).
-
Применим к ней правило подстановки , т.е.
.
-
Заметим, что есть истинная формула, как аксиома из группы I, т.е. имеем истинные формулы и . Применим правило заключения и получим (АВ)(АА).
-
Применим правило подстановки к полученной формуле, заменив высказывание В на :
.
-
Но , есть аксиома 2 из группы IV. Применим к полученной формуле правило заключения , т.е. -АА.
Говорят, что формула выводима из формул 1, 2, ..., n, если формулу можно вывести путем правила заключения, приняв за исходные формулы 1, 2, ..., n и все истинные в исчислении высказываний формулы. Выводимость формулы из формул 1, 2, ..., n записывают в виде 1, 2, ..., n, .