Помогите пожалуйста построить вывод формулы в исчислении высказываний:
![\[
\left( {B \to C} \right) \to \left( {\left( {A \vee B} \right) \to \left( {A \vee C} \right)} \right)
\] \[
\left( {B \to C} \right) \to \left( {\left( {A \vee B} \right) \to \left( {A \vee C} \right)} \right)
\]](https://dxdy-01.korotkov.co.uk/f/0/1/4/014d692369a0d617e8a5453dc47fac3782.png)
.
Аксиоматика такая:
Вообще, что значит построить вывод формулы? Я так понимаю, что, например, теорему дедукции использовать нельзя, потому что теорема дедукции дает некий критерий, когда формула выводима, но не строит сам вывод. А построить вывод, это значит использовать только аксиомы и правило вывода.
Правило вывода - modus ponens.