![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
(А В)& В В.
Применим подстановку к аксиоме
, получим
.
Применяя правило подстановки доказать, что доказуема формула
А & В А & В + С.
Применим подстановку к аксиоме , получим ├
.
Применяя правило подстановки доказать, что доказуема формула
.
4) Применим подстановку к аксиоме
, получим ├
.
Дата публикования: 2015-03-26; Прочитано: 572 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!