Построить дерево доказательств

[CradleOfLife]

Нужно для общей формулы: $\bar{B} \bigvee \bar{A} \vdash (\bar{B} \rightarrow A) \bigvee (A \rightarrow C);$ доказать истинность с помощью построения дерева доказательств. При удалении дизъюнкции $\bar{B} \bigvee \bar{A}$, c $\bar{A}$ всё понятно, а с $\bar{B}$ ничего не выходит. Разрешено пользоваться аксиомами исчисления высказываний и правилами удаления и введения логических связок (m.p, m.t и т.д). Подскажите чем можно воспользоваться, какие посылки ввести, ну или какими аксиомами воспользоваться. Заранее благодарен.

[Sonic86]

CradleOfLife в сообщении #793789 писал(а):

Разрешено пользоваться аксиомами исчисления высказываний и правилами удаления и введения логических связок (m.p, m.t и т.д).

А можно явно выписать? Системы аксиом все-таки разные бывают. Эта система?
И правила тоже желательно явно увидеть. MP + MT + 2 правила удаления $\wedge$ + 2 правила введения $\vee$ и все?

CradleOfLife в сообщении #793789 писал(а):

доказать истинность с помощью построения дерева доказательств.

Дерево же можно построить через вывод? (А то я не знаю, что такое дерево )