1302
правки
Изменения
м
→2. Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний.
==2. Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний.==
{{TODO: | t = Доказуемость}}
{{Определение
}}
{{TODO: | t = Корректность исчисления высказываний}}
==3. Вывод из допущений. Теорема о дедукции.==
