.05 Исчисление высказываний.
Ошибка.
Попробуйте повторить позже
Показать, что система аксиом ИВ в гильбертовской форме избыточна. А именно, показать, что аксиома
следует уже из остальных аксиом.
Выведем сначала
1. 
- гипотеза;
2. 
- 
;
3. 
- гипотеза;
4. 
- 
;
5.
 |
|
 |
MP
1, 2.
6.
 |
|
 |
MP
3, 4.
7. 
- 
;
8.
 |
|
 |
MP
5, 7.
9.
 |
|
 |
MP
6, 8.
10. 
- 
;
11.
 |
|
 |
MP
9, 10.
Таким образом, мы вывели
Но тогда по теореме о дедукции
И ещё раз по теореме о дедукции
То есть эта последняя формула 
выводится из пустого множества гипотез - чисто из
аксиом ИВ.
Специальные программы
Программа
лояльности v2.0
Приглашай друзей в Школково и получай вознаграждение до 10%!
Крути рулетку
и выигрывай призы!
Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.
Бесплатное онлайн-обучение
Для школьников из приграничных территорий России, проживающих в ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Курской, Брянской областях и Крыму.
Налоговые вычеты
Узнай, как получить налоговый вычет при оплате обучения в «Школково».
Специальное предложение
для учителей
Бесплатный доступ к любому курсу подготовки к ЕГЭ, ОГЭ и олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!
Вернём деньги за курс
за твою сотку на ЕГЭ
Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!
