![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
(1) Г ├ А ® В, условие;
(2) Г ├ (А ® В) ® (ù В ® ù А),
(3) Г ® ù В ® ù А, П3(1,2).
Правило вывода 6 (снятие двойного отрицания в заключении).
![]() |
|
(1) Г ├ А ® ù ù В, условие;
(2) Г ├ ù ù В ® В,
(3) Г ├ А ® В, ПВ4(1,2).
Правило вывода 7 (снятие двойного отрицания в посылке).
Дата публикования: 2015-01-23; Прочитано: 310 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!