Григорьев О.М. - Классическая дедуктивная логика II - 1. Исчисление с конечным числом аксиом

Исчисление с конечным числом аксиом и с правилом подстановки Григорьев Олег Михайлович 00:17 Введение 09:31 Аксиомы исчисления 28:25 Специфика правила подстановки 34:05 Доказательство формулы А 35:30 Теорема исчисления 48:18 Вывод 01:03:19 Вывод формулы В из множества допущения Г 01:06:10 Пример 01:12:06 Замечания #theorem_of_calculus