- •2. Элементы логики предикатов
- •2.1. Формулы логики предикатов и их преобразование Сводка теории
- •Определение
- •Определение
- •Определение
- •Определение
- •Определение
- •Замечания
- •Утверждение 2.1
- •Утверждение 2.2
- •Примеры
- •Пример 2.3
- •Замечания
- •Примеры
- •Контрольные вопросы
- •3. Исчисление высказываний и исчисление предикатов
- •3.1. Общее представление об исчислении высказываний Сводка теории
- •Примеры
- •3.2. Общее представление об исчислении предикатов Сводка теории
- •Примеры
- •Решение
- •Решение
- •Решение
- •Решение
- •Решение
- •Индивидуальное задание (контрольная работа) правила выполнения и оформления индивидуального задания
- •Варианты индивидуального задания
- •Варианты формул для заданий 2 - 7:
- •Литература
- •2. Элементы логики предикатов 34
- •2. Элементы логики предикатов 34
- •Сергей Михайлович Воротников
- •Введение в математическую логику
- •Учебное пособие
- •681013, Комсомольск-на-Амуре, пр. Ленина, 27
Примеры
Пример 3.3
Построить вывод в ИП для формулы х А у (А(х у)), где А – формула, х и у – различные переменные, причем у не входит свободно в А.
В более традиционной (но менее точной) записи это высказывание имеет вид: х А(х) у А(у).
Решение
Строим вывод:
х А(х) А(у), (а)
это пример схемы аксиом (ип2);
у ( х А(х) А(у)), (б)
по правилу (Gen) из (а), структурное требование выполняется, так как (а) – не гипотеза (а аксиома ИП);
у ( х А(х) А(у)) ( х А(х) у А(у)), (в)
это пример схемы аксиом (ип12) (существенно, что х А(х) не содержит свободно у);
х А(х) у А(у) (г)
вытекает из (б) и (в) по правилу (MP).
Соответствующее дерево вывода имеет вид:
П ример 3.4
Привести краткое обоснование пяти допустимых структурных правил вывода в ИП).
Решение
Правило 1 – из гипотезы A и ввиду А A по (MP) A А.
Правила 2 – 4 – тривиально допустимы. Вывод, обосновывающий секвенцию выше черты, обосновывает и секвенцию ниже черты;
Правило 5 – из B, A C по теореме о дедукции B А C. Отсюда и из Г А по правилу добавления Г, B А C; Г, B А. Применяя (MP), получим Г, B C.
Пример 3.5
Доказать логические правила техники естественного вывода в ИП (см. с. 59-60).
Решение
Приведем доказательства некоторых из правил (остальные доказываются аналогично).
-введение. Это есть в точности теорема о дедукции.
-удаление. Из данных выводов Г A, Г A B вывод для Г B получим с помощью (MP).
-введение. Имеем: Г A. Кроме того, A AB (это аксиома). По (MP) Г AB.
-удаление. Из данных Г,A C; Г,B C по теореме о дедукции Г A C и Г B C. Кроме того, (A C) ((B C) (AB C)) (это аксиома). Дважды применяя (MP), получим: Г AB C. По закону тождества (и правилу добавления) Г,AB AB. По (MP) Г,AB C.
-удаление. Из Г,A(y) C по теореме о дедукции следует, что Г A(y) C. По правилу обобщения Г y(A(y) C) (здесь существенно, что y не входит свободно в Г). Имеем аксиому y(A(y) C) ( y(A(y) C)). По (MP) Г y A(y) C. Аналогично x A(x) yA(y). Отсюда Г, xA(x) yA(y). Следовательно, по (MP) Г, xA(x) C.
-введение. Из Г, A В и Г, B A по теореме о дедукции Г A B, Г B A, Г (A B) (B A), что и означает по определению эквивалентности Г A B.
Пример 3.6
Доказать в ИП, что AB (A B).
Решение
Согласно -введению достаточно установить AB (A B) и (A B) AB.
Начнем с первой секвенции. Слева у нее стоит дизъюнкция, поэтому, разбирая случаи согласно - удалению, достаточно установить два факта:
A (A B) и B (A B).
Установим только первый, второй устанавливается симметрично. Для вывода отрицания (A B) достаточно допустить A B и вывести противоречие, т.е. использовать -введение. Противоречие будет состоять в выводе A и A. Итак, для вывода A (A B) с помощью -введения достаточно установить: A,A B A и A,A B A.
Первая секвенция выводима по закону тождества. Для вывода второй согласно -удалению достаточно показать: A,A,B A, что также следует из закона тождества.
Теперь установим: (A B) AB. Здесь наше рассуждение будет косвенным. Согласно -удалению достаточно установить: (A B)
(AB). А для этого согласно -введению следует, допустив (AB), вывести противоречие.
Мы докажем:
(A B),(AB) (A B) и (AB) A B.
Первая секвенция, очевидно, выводима по закону тождества. Вторую секвенцию получим по -введению. Достаточно вывести:
(AB) A и (AB) B.
Мы выведем первую секвенцию, вторая выводится симметрично. Используя - введение, достаточно вывести:
(AB),A (AB) и (AB),A AB.
Но первая из этих секвенций очевидна, а вторая получается с помощью -введения из (AB),A A.
Пример 3.7
Вывести AA.