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

Доказательство. (2) & ù q)), ( ù (pVq) ® ù p) ® (( ù (pVq) ® ù q) ® ( ù (pVq) ® ù p & ù q )),



(1) (р ® q) ® ((р ® r) ® (р ® q&r)), A5;

(2)
& ù q)),
(ù (pVq) ® ù p) ® ((ù (pVq) ® ù q) ® (ù (pVq) ® ù p & ù q)),

(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; Прочитано: 196 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



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