97
правок
Изменения
м
Нет описания правки
{{Теорема
|statement=
Пусть справедливо <tex>\Gamma \vdash \alpha \rightarrow \beta</tex>. Тогда справедливо <tex>\Gamma, \cup \{\alpha \} \vdash \beta</tex>
|proof=
Возьмем <tex>\delta_1, ..., \delta_m</tex> --- вывод формулы <tex>\alpha \rightarrow \beta</tex>. В ней <tex>\delta_m = \alpha \rightarrow \beta</tex>. Добавим <tex>\delta_{m+1} = \alpha</tex> --- это добавленная аксиома, и <tex>\delta_{m+2} = \beta</tex>, получим вывод <tex>\beta</tex>.
}}
