Математическая Логика
Категория реферата: Рефераты по математике
Теги реферата: рефераты, сочинение егэ
Добавил(а) на сайт: Berlunov.
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата
Возьмем формативную последовательность вывода [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]
Рекомендуем скачать другие рефераты по теме: вопросы и ответы, дипломная работа по юриспруденции.
Предыдущая страница реферата | 1 2 3 4 5 6 7 | Следующая страница реферата