1302
правки
Изменения
м
→3. Вывод из допущений. Теорема о дедукции.
==3. Вывод из допущений. Теорема о дедукции.==
{{TODO: | t = вывод из допущений}}
Будем обозначать буквами <tex>\Gamma, \Delta, \Sigma</tex> списки формул (возможно, пустые).
