Григорьев О.М. - Классическая дедуктивная логика II - 9. Натуральное исчисление предикатов

Классическое натуральное исчисление предикатов Григорьев Олег Михайлович 00:16 Введение 03:49 Натуральное исчисление 07:35 Введения квантора существования 11:59 Исключение квантора общности 13:31 Исключение квантора существования 20:21 Введение квантора общности 27:19 Понятие вывода 36:55 Понятие доказательства теоремы 38:17 Пример (обоснование вводимости) 54:57 Пример (доказательство теоремы) 01:03:42 Пример (доказательство теоремы) 01:16:36 Ограничения на правила Ссылка на плейлист 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 #классическая_логика_предикатов #classical_predicate_logic #натуральное_исчисление #введение_квантора_существования #исключение_квантора_общности #исключение_квантора_существования #введение_квантора_общности #понятие_вывода #понятие_доказательства_теоремы #natural_deduction #existential_quantifier_introduction #universal_quantifier_elimination #existential_quantifier_elimination #universal_quantifier_introduction #concept_of_inference #concept_of_theorem_proof