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

Аватар автора
Teach-In
Классическое натуральное исчисление предикатов Григорьев Олег Михайлович 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 Ограничения на правила #concept_of_theorem_proof

0/0


0/0

0/0

0/0

0/0