![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
(1) Г ├ ù ù А ® В, условие;
(2) Г ├ А ® ù ù А,
(3) Г ├ A ® В, ПВ4(1,2).
![]() |
Правило вывода 8.
![]() |
Правило вывода 9.
Доказательство. Г;...,В;...,А; т.е. Г ├А.
![]() |
Правило вывода 10.
Доказательство. Г;D;…;В;…;А.
![]() |
Правило вывода 11.
Доказательство.
(1) Г ├ А ® В, условие;
(2) Г,A ├ A;
(3) Г,А ├ А ® В, ПВ8(1);
(4) Г,А ├ В, ПЗ(2,3).
![]() |
Дата публикования: 2015-01-23; Прочитано: 194 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!