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

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