Доказательство. (1) Г ├ ù ù А ® В, условие;

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

(2) Г ├ А ® ù ù А,

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

Правило вывода 8.

Правило вывода 9.

Доказательство. Г;...,В;...,А; т.е. Г ├А.

Правило вывода 10.

Доказательство. Г;D;…;В;…;А.

Правило вывода 11.

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

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

(2) Г,A ├ A;

(3) Г,А ├ А ® В, ПВ8(1);

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