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

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