Доказательство. Правило вывода 6(снятие двойного отрицания в заключении)

(1) Г ├ А ® В, условие;

(2) Г ├ (А ® В) ® (ù В ® ù А),

(3) Г ® ù В ® ù А, П3(1,2).

Правило вывода 6 (снятие двойного отрицания в заключении).

⊢

Доказательство.

(1) Г ├ А ® ù ù В, условие;

(2) Г ├ ù ù В ® В,

(3) Г ├ А ® В, ПВ4(1,2).

Правило вывода 7 (снятие двойного отрицания в посылке).