 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Доказательство. (2) & ù q)), ( ù (pVq) ® ù p) ® (( ù (pVq) ® ù q) ® ( ù (pVq) ® ù p & ù q )),
|
|
(1) (р ® q) ® ((р ® r) ® (р ® q&r)), A5;
(2)
|
(3) p ® p V q, A6;
(4) 
(p ® q) ® (ù q ®ù p), A9;
(5) (p ® p V q) ® (ù (p V q) ® ù p),
(6) ù (p V q) ® ù p, ПЗ(3,5);
(7) (ù (p V q) ® ù q) ® (ù (p V q) ® ù p & ù q), ПЗ(2,6);
(8) 
q ® p V q, A7;
(9) (q ® p V q) ® (ù (p V q) ® ù q),
(10) ù (p V q) ® ù q, П3(8,9);
(11) ù (р V q) ® ù p & ù q, П3(7,10).
Дата публикования: 2015-01-23; Прочитано: 216 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
