Поможем написать любую работу на аналогичную тему
Получить выполненную работу или консультацию специалиста по вашему
учебному проекту
Узнать стоимость3.3.1 Определение.
1) ИВ противоречиво, если формула А
выводима в нем. .
2) формула выводима в ИВ)
ИВ противоречиво.
3) ИВ противоречиво.
ИВ непротиворечиво, если оно не является противоречивым.
Теорема: ИВ является непротиворечивым исчислением по отношению к любому из трех определений.
Док-во: (1) Если , то соответствующая ей булева функция будет тождественно равна 1.
(2) Если любая формула выводима, то выводима и А, что соответствует пункту 1.
(3) Пусть и
- булева функция
- противоречие.
Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к
профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные
корректировки и доработки. Узнайте стоимость своей работы.