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

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

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

Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:

  • Вводный урок бесплатно;
  • Большое число опытных преподавателей (нейтивов и русскоязычных);
  • Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
  • Более 10 000 довольных клиентов.
  • Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей

Узнать детали

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

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

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

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

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

 

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

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

 

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

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

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