
- •Математическая логика.
- •Содержание
- •Введение
- •Глава 1. Алгебра высказываний.
- •§1. Высказывания. Логические операции.
- •§2. Тождественно истинные формулы.
- •1. Свойство коммутативности:
- •§3. Совершенные нормальные формулы.
- •Пусть - формулы алгебры высказываний. Тогда:
- •Глава 2. Исчисление высказываний (ив).
- •§1. Аксиоматический метод.
- •§2. Исчисление высказываний.
- •§3. Выводимость из гипотез.
- •2) Индукционное предложение.
- •3) Индукционный шаг.
- •§4. Производные правила вывода.
- •§5. Связь между алгеброй высказываний и исчислением высказываний.
- •Глава 3. Логика предикатов.
- •§1. Переменные, предикаты, модель.
- •§2. Кванторы, свободные и связанные переменные
- •§3. Интерпретация. Истинность.
- •1. База индукции
- •3. Индукционный шаг.
- •1. База индукции
- •2. Индукционное предложение
- •3. Индукционный шаг.
- •§4. Тождественно истинные формулы. Эквивалентность.
- •I прямой способ доказательство эквивалентности формул a, b.
- •II способ от противного.
- •III способ
- •Глава 4. Исчисление предикатов.
- •§1. Аксиомы и правила вывода.
- •§2. Производные правила вывода. Приведенная нормальная форма.
- •§3. Непротиворечивые и полные множества формул.
- •§4. Теорема Гёделя
- •2 Случай
- •3 Случай
- •6 Ситуация
- •Список литературы:
§2. Производные правила вывода. Приведенная нормальная форма.
Ранее введенные правила в ИВ введения, удаления (см. теорема 8, ИВ) применимы и в ИВ. К этим правилам добавим правило, связанное с кванторами.
Теорема 2.
а)
Введение
Если из формулы C выводимо A(x), (C-не имеет свободной переменной х), то мы можем навесить кванторы общности.
С
├ (x
A(x))
б)
Введение
.
A(y)
├ (x
A(x))
при условии, что y-
свободная переменная при x
в формуле A(x)
в)
Удаление
Для
всех x
A(x)
выводимо A(y),
то есть
x
A(x)
├ A(y)
при условии, что y-свободная переменная для переменной x в исходной формуле A(x)
г)
Удаление
Если
C
выводимо из выражения
x
A(x)
и не имеет свободных вхождений переменной
x,
то A(x)
гарантирует вывод C:
x
A(x)
├ C,
то A(x)
├ C.
Доказательство: доказательства даются с помощью теоремы 3, §3, гл. (1,4) акс. V.1,V.2 (2,3)
Теорема 3. Пусть y-свободная для переменной x в исходном выражении A(x). x –не входит свободно в формулы A1,…,Am. Тогда, если A1,…,Am├ A(x), то A1,…,Am├ A(y).
Доказательство:
B1: A1,…,Am├ A(x) (условие)
B2:
A1,…,Am├
x
A(x) (введение
)
B3:
x
A(x)
├ A(y)
(удаление
)
B4: A1,…,Am├ A(y) (правило силлогизма)
С условием выводимости можно сказать A=B, если выполняется соотношение (A├B)& (B├A)
Факт такой выводимости формул позволяет сформулировать следующую теорему.
Теорема
4. Пусть
CA-некоторая
формула, CB-получается
из CA
заменой A
на B.
Тогда, если AB,
то CA=CB.
Доказательство: индукция формулы по длине C от A.
В дополнение к теореме 4.
Теорема 5. Пусть переменная y не встречается в формуле A(x), тогда
1.
а)
x
A(x)
y
A(y)
б)
x
A(x)
y
A(y)
2.
x
A(x), B(x)
а)
(x
A(x)&
x
B(x))
x(A(x)&B(x))
б)
(x
A(x)
x
B(x))
x(A(x)
B(x))
Доказательство:
(x
A(x)&
x
B(x))
x(A(x)&B(x))
посылка ├ заключение
а)
прямая выводимость ()
б)обратная
выводимость ()
а)
1. (x
A(x)&
x
B(x))
├
x
A(x))
(удаление &)
2.
(x
A(x)&
x
B(x))
├ A(x)
(удаление
)
3.
(x
A(x)&
x
B(x))
├ B(x)
(по аналогии со стр. 1,2)
4.
(x
A(x)&
x
B(x)) ├ A(x)&B(x) (введение
&)
5.
(x
A(x)&
x
B(x)) ├
x
(A(x)&B(x)) (введение
)
б)
1.
x
(A(x)&B(x)) ├ (A(x)&B(x))
(удаление
)
2.
x
(A(x)&B(x)) ├ A(x)
(удаление
&)
3.
x
(A(x)&B(x)) ├ B(x)
( - // - )
4.
x
(A(x)&B(x)) ├ (
x
A(x)&
x
B(x)) (введение
&,
)
Определение
3: Формула A
называется приведенной
нормальной формой,
если она имеет вид: A=(Q1x1)(Q2x2)…(Qkxk)∙C(x1,…,xk),
где Q1,…,Qk{
,
}
x1,…,xk –свободные переменные
C – формула, не имеет кванторов
Пример
A
= (x1)(
x2)(
x3)(x1+x2=x3)
C(x1,x2,x3)
Если некоторая формула B~A, то говорят, что A-приведенная нормальная форма для формулы B.
Теорема 6. Всякая формула в ИП имеет приведенную нормальную форму.
Доказательство: индукция по длине формулы B.
Если формула B имеет вид, совпадающий с предикатом
B = Pn(x1,…,xn)
то формула B находится в нормальной приведенной форме.
Предположим, что D, E имеют приведенную форму.
D = (B1’(x1)(Q2’x2)…(Qm’xm)C1(x1,…,xm)
E = (Q1’’y1)(Q2’’y2)…(Qr’’yr)C2(y1,…,yb)
Выражения C1,C2 не содержат кванторов.
В силу теоремы 5 п.10 о возможности преобразования одноименных кванторов мы можем записать, что связанные переменные не будут встречаться взаимно в выражениях E и D. Например, y1,y2 из E не будут встречаться в D и x1,x2 из D не будут встречаться в E.
Пусть формула B имеет один из видов:
В:,
,D&E,D
E,D
E,
xD,
xD,
xE,
xE
В последних двух случаях формула B будет иметь приведенную нормальную формулу. В остальных случаях, исполняется эквивалентность ИП мы выносим знаки кванторов из под знаков логических операций. В итоге получаем нормальную приведенную формулу для B.