Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Применяя правило подстановки доказать, что доказуема формула



(А В)& В В.

Применим подстановку к аксиоме

, получим .

Применяя правило подстановки доказать, что доказуема формула

А & В А & В + С.

Применим подстановку к аксиоме , получим ├ .

Применяя правило подстановки доказать, что доказуема формула

.

4) Применим подстановку к аксиоме

, получим ├ .





Дата публикования: 2015-03-26; Прочитано: 572 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...