Изменения
Нет описания правки
#<tex>\alpha \rightarrow \alpha</tex> (М.Р. 4, 3)
}}
{{Теорема
==Теорема о полноте исчисления высказываний==
{{Лемма
|statement= Если <tex>\Gamma \vdash \alpha</tex>, то <tex>\Gamma, \gamma \vdash \alpha</tex>. Если <tex>\Gamma_1, \Gamma_2 \vdash \alpha</tex>, то <tex>\Gamma_2, \Gamma_1 \vdash \alpha</tex>. Аналогично для следствия.
|proof=
'''КТО МОЖЕТ НАПИСАТЬ ЭТО ФОРМАЛЬНО?'''
}}
