Конспекты лекций по математической логике
| Категория реферата: Рефераты по математике
| Теги реферата: реферат статус, изложение по русскому языку 6
| Добавил(а) на сайт: Анохин.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата
Опр: Формативная последовательность слов – конечная последовательность слов и высказываний 
, если они имеют формат вида:
Опр: F – формулой ИВ, называется любое слово, входящее в какую-нибудь формативную последовательность.
Пример: 
Опр: Аксиомы – специально выделенное подмножество формул. 
Reg – правила вывода ИВ (некоторые правила преобразования первого слова в другое).
a – символ переменной 
- произвольное слово ИВ (формула)
Отображение 
действует так, что на место каждого вхождения символа а , пишется слово .
Пример: 
Правило modus ponens: 
3.1.2 Формальный вывод.(простейшая модель доказательства теоремы)
Опр: Последовательность формул ИВ, называется формальным выводом, если каждая формула этой последовательности имеет следующий вид:
Опр: Выводимый формулой (теоремой) ИВ называется любая формула входящая в какой-нибудь формальный вывод. 
- выводимая формула ИВ.
Пример: 
|
1) |
|
|
|
2) |
|
|
|
3) |
|
|
|
4) |
|
|
|
5) |
|
|
|
Категории:Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата Поделитесь этой записью или добавьте в закладки |
|
Главная