Напишем:


✔ Реферат от 200 руб.
✔ Контрольную от 200 руб.
✔ Курсовую от 500 руб.
✔ Решим задачу от 20 руб.
✔ Дипломную работу от 3000 руб.
✔ Другие виды работ по договоренности.

Узнать стоимость!

Не интересно!

 

Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Непротиворечивость ИВ.

3.3.1  Определение.

1) ИВ противоречиво, если формула А выводима в нем. Непротиворечивость ИВ..

2) Непротиворечивость ИВ.формула выводима в ИВ)Непротиворечивость ИВ.ИВ противоречиво.

3) Непротиворечивость ИВ.ИВ противоречиво.

ИВ непротиворечиво, если оно не является противоречивым.

 

Теорема: ИВ является непротиворечивым исчислением по отношению к любому из трех определений.

Док-во: (1) Если Непротиворечивость ИВ., то соответствующая ей булева функция будет тождественно равна 1. Непротиворечивость ИВ.

 

(2)  Если любая формула выводима, то выводима и А, что соответствует пункту 1.

(3)  Пусть Непротиворечивость ИВ. и Непротиворечивость ИВ. Непротиворечивость ИВ. - булева функция

      Непротиворечивость ИВ. - противоречие.

 

 

Случайная новость