Конспекты лекций по математической логике
| Категория реферата: Рефераты по математике
| Теги реферата: реферат статус, изложение по русскому языку 6
| Добавил(а) на сайт: Анохин.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
Базис индукции: N=1 
- формальный вывод из длинного списка 
(только что доказано), осуществим переход по индукции:
по индукции
и по лемме 2
Пример: 
по теореме дедукции 
3.2.1 Формулировка теоремы.
- тавтология
при любой интерпретации алфавита (символов переменных)
3.2.2 Понятие интерпретации.
символ переменной 
переменную поставим в соответствие.
, где 
- проекция на 
.
Где: 
3.2.3 Доказательство теоремы.
3.3.1 Определение.
ИВ противоречиво, если формула А выводима в нем.
.
формула выводима в ИВ)
ИВ противоречиво.
ИВ противоречиво.
ИВ непротиворечиво, если оно не является противоречивым.
Теорема: ИВ является непротиворечивым исчислением по отношению к любому из трех определений.
Док-во: (1) Если 
, то соответствующая ей булева функция будет тождественно равна 1. 
(2) Если любая формула выводима, то выводима и А, что соответствует пункту 1.
Рекомендуем скачать другие рефераты по теме: изложение 3, пушкин реферат.
Категории:
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
Главная