6.1.2.6 Исчисление секвенций

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash \overline{A \vee B} \rightarrow(\mathrm{A} \rightarrow \bar{B}) \]