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