Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:
- Вводный урок бесплатно;
- Большое число опытных преподавателей (нейтивов и русскоязычных);
- Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
- Более 10 000 довольных клиентов.
- Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей
3.3.1 Определение.
1) ИВ противоречиво, если формула А
выводима в нем. 
.
2) 
формула выводима в ИВ)
ИВ противоречиво.
3) 
ИВ противоречиво.
ИВ непротиворечиво, если оно не является противоречивым.
Теорема: ИВ является непротиворечивым исчислением по отношению к любому из трех определений.
Док-во: (1) Если 
, то соответствующая ей булева функция будет тождественно равна 1. 
(2) Если любая формула выводима, то выводима и А, что соответствует пункту 1.
(3) Пусть 
и 
- булева функция
- противоречие.