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

Построение классического аксиоматического исчисления предикатов Григорьев Олег Михайлович 00:17 Классическое исчисление предикатов 11:23 Дополнительные схемы аксиом (поведение квантора общности) 15:37 Правила вывода 19:34 Понятие доказательства 29:38 Выводы 38:13 Понятие вывода из множества допущений 55:26 Метатеоретические свойства #proof_theory