реферат Математическая Логика
Конспекты лекций по математической логике.
1. Теория алгоритмов
1.1 Различные подходы к определению алгоритма:
10. Неформальное понятие алгоритма (последовательность инструкций для
выполнения действия).
20. Машина с неограниченными регистрами (МНР).
30 Машина Тьюринга – Поста (МТ-П).
40 Нормальные алгоритмы Маркова (НАМ).
1.1.1 Машина с неограниченными регистрами (МНР).
Имеется некое устройство, в котором счетное число ячеек памяти
(регистров), в которых хранятся целые числа.
Допустимые команды:
Z(n) - обнуление регистра Rn.
S(n) - увеличение числа в регистре Rn на 1.
T(m,n) - копирует содержимое Rm в регистор Rn.
I(p,q,n) - если содержимое Rp = Rq то выполняется команда с номером n ,
если нет
следующая.
Программа для МНР должна быть последовательностью команд Z, S, T, I с
определенным порядком, выполняемые последовательно.
Тезис Черча (Churcha): Первое и второе определение алгоритма эквивалентны
между собой. Любой неформальный алгоритм может быть представлен в программе
для МНР.
1.1.2 Машина Тьюринга - Поста.
Имеется устройство просматривающее бесконечную ленту, где есть ячейки
содержащие элементы алфавита: [pic] , где [pic] - пустой символ (пустое
слово), который может принадлежать и не принадлежать А. Также существует
управляющая головка (устройство) (УУ)/(УГ), которая в начальный момент
расположена в определенном месте, в состоянии [pic]. Также существуют
внутренние состояния машины: [pic]
Слово в данном алфавите - любая конечная упорядоченная
последовательность букв данного алфавита, притом длина слова это
количество букв в нем (у пустого слова длина 0).
Допустимые команды:
|1) [pic] ,где [pic]. |Последовательность команд |
|2) [pic] (остановка программы). |называется программой, если в этой|
| |последовательности не встречается |
| |команд с одинаковыми левыми |
| |частями. Машина останавливается |
| |если она не находит команды с |
| |левой частью подобной текущей. |
1.1.3 Нормальные алгоритмы Маркова.
Тип машины перерабатывающий слова, в которой существует некий алфавит
[pic], для которого W - множество всех слов.
Допустимые команды: (Для машин этого типа важна последовательность
команд.)
|[pic] где [pic] |Пример: [pic] [pic] |
| |Программа: [pic] |
| |[pic] |
1.1.4 Реализация функции натурального переменного. [pic]
[pic] но мы допускаем не всюду определенную функцию.
[pic] то это означает, что [pic]
притом [pic], если f не определена, то и программа не должна ничего
выдавать.
[pic] [pic][pic][pic]
притом [pic], если f не определена, то и программа не должна ничего
выдавать.
([pic] , а числа представляются в виде [pic] ,например [pic] .)
1.2 Эквивалентность трех подходов к понятию алгоритм.
1.2.1 Теорема об эквивалентности понятия вычислимой функции.
[pic] вычислима: ([pic])
1) Если существует программа МНР, которая вычисляет эту функцию.
2) Если существует программа МТ-П, которая вычисляет эту функцию.
3) Если существует программа НАМ, которая вычисляет эту функцию.
Использование НАМ: [pic] [pic]
[pic] [pic]
Теор.: Классы функций вычислимых на МТ-П, с помощью НАМ и с помощью МНР
совпадают.
Пусть [pic] которая вычисляется на МТ-П, вычислим её на НАМ.
МТ-П: [pic]
НАМ: [pic]
Команда МТП: [pic] преобразуется по правилам:
[pic]
Команда МТП: [pic] [pic] [pic]
2. Булевы функции.
2.1 Основные определения
2.1.1 Декартово произведение
[pic] - мн-во всевозможных упорядоченных пар элементов из А и В.
Пример: [pic]
[pic] [pic]
[pic]
2.1.2 Декартова степень произвольного множества.
Опр: [pic] - множество всевозможных упорядоченных наборов длины n ,
элементов множества А. [pic]
2.1.3 Определение булевой функции от n переменных.
Любое отображение [pic] - называется булевой функцией от n переменных,
притом множество [pic]
[pic]
2.1.4 Примеры булевой функции.
1) [pic] логическая сумма (дизъюнкция).
2) [pic] логическое умножение (конъюнкция).
3) [pic] сложение по модулю два.
4) [pic] логическое следствие (импликация).
5) [pic] отрицание.
2.1.5 Основные булевы тождества.
1) [pic] (ассоциативность)
2) [pic] (коммутативность)
3) [pic] (свойство нуля)
4) [pic] (закон поглощения для 1)
5) [pic] (ассоциативность)
6) [pic] (коммутативность)
7) [pic] (свойство нуля по умножению)
8) [pic] (свойство нейтральности 1 по умножению)
9) [pic] (дистрибутивность)
10) [pic] (дистрибутивность 2)
11) [pic] (закон поглощения)
12) [pic] ( Законы
13) [pic] де Моргана)
14) [pic] (закон снятия двойного отрицания)
15) [pic] (tertium non datur – третьего не дано)
16) [pic] (ассоциативность)
17) [pic]
18) [pic]
19) [pic]
20) [pic]
21) [pic] (Свойства
22) [pic] идемпотентности)
2.2 Дизъюнктивные нормальные формы.
2.2.1 Основные определения.
[pic] - конечный алфавит из переменных.
Рассмотрим слово: [pic]
Экспоненциальные обозначения: [pic]
[pic] - элемент конъюнкции.
S – длина элемента конъюнкции.
ДНФ – дизъюнкция нескольких различных элементарных конъюнкций.
[pic]
Любая булева функция может быть представлена как ДНФ
2.2.2 Теорема о совершенной ДНФ.
Любая булева функция [pic] тождественно не равная 0 может быть разложена
в ДНФ следующего вида:
[pic]
Опр: Носитель булевой функции [pic]
[pic].
Лемма: [pic]
1) [pic] это элементарно [pic]
2) [pic] возьмем набор [pic]
а) [pic]
б) [pic]
Доказательство: [pic], будем доказывать, что[pic].
1) Докажем, что [pic]. Возьмем [pic] он попадает в число суммируемых
наборов и по нему будет проводиться сумирование.
[pic]
2) Докажем, что [pic]. Возьмем другой набор из [pic]
[pic]
Следовательно [pic]
2.2.3 Некоторые другие виды ДНФ.
Опр: [pic] - называется минимальной ДНФ, если она имеет [pic] -
наименьшую возможную длину из всех ДНФ данной функции.
Опр: [pic] - называется тупиковой ДНФ, если из неё нельзя выбросить ни
одного слагаемого с сохранением булевой функции.
(Легко понять, что любая минимальная ДНФ является тупиковой, а обратное
не верно.)
Опр: К-мерной гранью называется такое подмножество [pic], которая
является носителем некоторой элементарной конъюнкции длины: n-k.
Опр: Предположим дана функция [pic] и есть [pic]. Грань называется
отмеченной, если она целиком содержится в носителе Т.
Опр: Максимальная грань – это такая грань, которая не содержится ни в
какой грани более высокой размерности.
Предложение: Любую отмеченную грань можно вложить в максимальную грань.
Предложение: [pic]
(Носитель любой функции можно разложить в объединение нескольких граней
разной размерностей)
Предложение: Носитель любой функции разлагается в объединение всех своих
максимальных граней. [pic]
Опр: Элементарная конъюнкция называется минимальной, если её носитель
является максимальной гранью. Следовательно всякая булева функция
разлагается в дизъюнкцию всех своих элементарных конъюнкций.
Опр: Сокращенная ДНФ – разложение данной булевой функции в
соответствующие ДНФ, которые соответствуют объединению её максимальных
граней.
Теор: Минимальная ДНФ может быть получена из сокращенной отбрасыванием
некоторого количества слагаемых, возможно пустого.
3 Логические Исчисления.
3.1 Исчисления высказывания (ИВ).
3.1.1 Определения.
[pic]
[pic]
[pic]
Опр: V – словом в алфавите А, называется любая конечная упорядоченная
последовательность его букв.
Опр: Формативная последовательность слов – конечная последовательность
слов и высказываний [pic], если они имеют формат вида:
[pic]
Опр: F – формулой ИВ, называется любое слово, входящее в какую-нибудь
формативную последовательность.
Пример: [pic]
[pic] [pic]
Опр: Аксиомы – специально выделенное подмножество формул. [pic]
1) [pic]
2) [pic]
3) [pic]
4) [pic]
5) [pic]
6) [pic]
7) [pic]
8) [pic]
9) [pic]
10) [pic]
11) [pic]
Reg – правила вывода ИВ (некоторые правила преобразования первого слова в
другое).
a – символ переменной [pic]
[pic] - произвольное слово ИВ (формула)
Отображение [pic] действует так, что на место каждого вхождения символа а
, пишется слово [pic].
Пример: [pic]
Правило modus ponens: [pic] [pic]
3.1.2 Формальный вывод.(простейшая модель доказательства теоремы)
Опр: Последовательность формул ИВ, называется формальным выводом, если
каждая формула этой последовательности имеет следующий вид:
[pic]
Опр: Выводимый формулой (теоремой) ИВ называется любая формула входящая в
какой-нибудь формальный вывод. [pic] - выводимая формула ИВ.
Пример: [pic]
|1) |[pic] |[pic] |
|2) |[pic] |[pic] |
|3) |[pic] |[pic] |
|4) |[pic] |[pic] |
|5) |[pic] |[pic] |
|6) |[pic] |[pic] |
Правило одновременной подстановки.
Замечание: Если формула [pic] выводима, то выводима и [pic]
Возьмем формативную последовательность вывода [pic] [pic] и добавим в неё
[pic], получившаяся последовательность является формальным выводом.
(Если выводима [pic] то если [pic] , то выводима [pic] )
Теор: Если выводимая формула [pic], то [pic] ([pic] - различные символы
переменных) выводима
Выберем [pic] - символы переменных которые различны между собой и не
входят не в одну из формул [pic] , сделаем подстановку [pic] и
последовательно применим [pic] и в новом слове делаем последовательную
подстановку: [pic], где [pic] - является формальным выводом.
3.1.3 Формальный вывод из гипотез.
Опр: Формальным выводом из гипотез [pic](формулы), называется такая
последовательность слов [pic], каждая из которых удовлетворяет условию:
[pic]
[pic] если формулу [pic] можно включить в некоторый формальный вывод из
гипотез [pic].
Лемма: [pic]; [pic]: то тогда [pic]
Напишем список:
[pic] [pic] [pic]
Лемма:[pic]
Док: [pic] [pic] [pic]
3.1.4 Теорема Дедукции.
Если из
[pic] [pic]
1) и 2а) [pic], где [pic] [pic] по правилу m.p. [pic], ч.т.д.
2б) [pic] - уже выводили [pic], ч.т.д.
Базис индукции: N=1 [pic] - формальный вывод из длинного списка [pic]
[pic] (только что доказано), осуществим переход по индукции:
[pic]
[pic] по индукции
[pic] и по лемме 2
[pic]
Пример: [pic]
[pic] по теореме дедукции [pic]
3.2 Критерий выводимости в ИВ.
3.2.1 Формулировка теоремы.
[pic] - тавтология
при любой интерпретации алфавита (символов переменных)
[pic]
3.2.2 Понятие интерпретации.
[pic]
символ переменной [pic] [pic] переменную поставим в соответствие.
[pic], где [pic] - проекция на [pic].
[pic]
; [pic] - только символ
переменных, т.к.
это заглавное слово
формативной последо-
вательности вида:
Где: [pic]
3.2.3 Доказательство теоремы.
формальный
вывод [pic]
1)
3.3 Непротиворечивость ИВ.
3.3.1 Определение.
1) ИВ противоречиво, если формула А выводима в нем. [pic].
2) [pic]формула выводима в ИВ)[pic]ИВ противоречиво.
3) [pic]ИВ противоречиво.
ИВ непротиворечиво, если оно не является противоречивым.
Теорема: ИВ является непротиворечивым исчислением по отношению к любому
из трех определений.
Док-во: (1) Если [pic], то соответствующая ей булева функция будет
тождественно равна 1. [pic]
(2) Если любая формула выводима, то выводима и А, что соответствует
пункту 1.
(3) Пусть [pic] и [pic] [pic] - булева функция
[pic] - противоречие.
3.4 Формальные исчисления.
Алфавит – конечное или счетное множество символов, возможно, разбитых на
группы. Алфавит должен быть упорядоченным множеством.
Слово – конечная упорядоченная последовательность символов алфавита, в
т.ч. пустое слово.
V – множество всех слов.
Вычислимая функция от нескольких натуральных переменных [pic]
( f – может быть не всюду определенной )
f – называется вычислимой, если [pic] такая машина Тьюринга, которая её
вычисляет.
[pic] - разрешимое множество, если характеристическая функция
[pic] - является вычислимой.
Множество [pic] называется перечислимым, если [pic] такая вычислимая
функция
[pic]
М - разрешимо [pic] М и N \M перечислимы.
М – перечислимо [pic] М – область определения некоторой вычислимой
функции.
Множество всех формул F – некоторое разрешимое подмножество V.
Т – счетное множество, если [pic] его биективное отображение на V.
[pic] - обозначение счетного множества. ([pic] - алеф-нуль)
Если [pic] и зафиксировано биективное и вычислимое отображение [pic]
(вычис.),
то L – ансамбль.
V – ансамбль (слова лексикографически упорядочены и занумерованы)
Определение: В произвольном формальном исчислении: [pic] - множество всех
аксиом – разрешимое подмножество множества всех формул.
[pic]
Правило вывода:
[pic] ,при [pic] разрешимо. Для ИВ N=2.
Пример:
[pic] [pic] (пустое слово) , [pic]
[pic]
1 и 2 – формальные выводы.
3 – не является формальным выводом.
4 Предикаты и кванторы.
4.1 Определение предиката.
[pic]
[pic] - высказывание, содержащее переменную.
[pic] - предметная область предиката.
[pic]
Пусть А – множество объектов произвольной природы (предметная область
предиката).
[pic]-местный предикат – произвольное отображение [pic] [pic]
Множество истинности данного предиката [pic]
[pic] -
- характеристическая
функция от x на множестве
А - совпадает
с предикатами
[pic]
[pic]
[pic]
4.2 Понятие квантора.
k – связанная переменная
n – свободная переменная
[pic] t – свободная, x – связанная.
[pic] , a,b,y – свободные переменные, x – связанная.
[pic]
[pic]
[pic]
[pic] [pic]
[pic]
4.3 Геометрическая интерпретация навешивания кванторов.
|[pic] |[pic] |[pic] |
| |[pic] |[pic] |
| |[pic][pic] - | |
| |ортогональная проекция | |
| |на ось x | |
Пронесение отрицания через кванторы
[pic] [pic]
Геометрическое 'доказательство':
[pic] не обладает свойством, что прямая [pic] целиком лежит в [pic]
[pic]
[pic]
[pic] ч.т.д.
[pic]
[pic]
-----------------------
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
?????????????????/?????????–??/?[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]