Элементы математической логики

Лицевая обложка
Наука, 1973 - Всего страниц: 399
0 Отзывы

Результаты поиска по книге

Отзывы - Написать отзыв

Не удалось найти ни одного отзыва.

Содержание

Раздел 1
5
Раздел 2
9
Раздел 3
36
Авторские права

Не показаны другие разделы: 27

Часто встречающиеся слова и выражения

аксиоматического метода аксиомы полной индукции бесконечности будем называть буквы внешних множителей вопрос всех входящих выводима в исчислении выводима из формулы выводимо в ограниченной выводимой формулой исчисления выражение данной дизъюнкции дистрибутивности Докажем доказательства доказать другой есть заменить значениях переменных Зх истинная формула каждая формула конъюнктивная нормальная форма которые леммы логики предикатов логических логического исчисления ложно любой математической логики можем может можно мулы натуральное число некоторые непротиворечивости нормальной формой области обозначим образом ограниченной арифметике одной операции определение определим основании первое переменный предикат переменных высказываний получим формулу понятия Поэтому правил вывода правило заключения пред предметных переменных представляет собой Применив правило примитивно истинной принимает значение произведение произвольной простое число Пусть равно Рассмотрим регулярная формула рекурсивной функции рекурсивный терм самом деле свободных переменных силу символов системы аксиом слагаемое следовательно следует случае смысле содержит соответствие справедливо сумма существует Тогда тождественно истинной условию Ух фор формула 91 формула исчисления высказываний формулы исчисления предикатов хп цифры число элементов

Библиографические данные