Доказательство. (1) ├ ù (р V ù р) ® ù р & ù ù p,

(1) ├ ù (р V ù р) ® ù р & ù ù p,

(2) ├ ù р & ù ù р ® ù q,

(3) ├ ù (р V ù р) ® ù q, ПВ4(1,2), силлогизм;

(4) ├ ù ù q ®ù ù (р V ù р), ПВ5(3), контрапозиция;

(5) ├ q ®ù ù (р V ù р), ПВ7(4), снятие двойного отрицания;

(6) ├ q ® (р V ù р), ПВ6(5), снятие двойного отрицания;

(7) ├ р ® р, Т1;

(8) ├ (р ® р) ® (р V ù р),

(9) ├ р V ®р, П3(7,8).

Правило вывода 18 (приведение к абсурду).