Исчисление с конечным числом аксиом и с правилом подстановки Григорьев Олег Михайлович 00:16 Введение 09:31 Аксиомы исчисления 28:25 Специфика правила подстановки 34:05 Доказательство формулы А 35:27 Теорема исчисления 48:16 Вывод 01:03:16 Вывод формулы В из множества допущения Г 01:06:08 Пример 01:12:06 Замечания Ссылка на плейлист Teach-In: https://teach-in.ru/course/classical-deductive-logic-p2 Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNDJln31dAVVD3IkC1k1SCvi Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_862 Ссылка на плейлист RuTube: https://rutube.ru/plst/1513562 #teach_in #МГУ #MSU #филфак #faculty_of_philosophy #классическая_дедуктивная_логика #classical_deductive_logic #лекция #lecture #Григорьев #Grigoriev #аксиомы_исчисления #axioms_of_calculus #правило_подстановки #substitution_rule #теорема_исчисления #theorem_of_calculus