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

Натуральное исчисление высказываний Григорьев Олег Михайлович 00:17 Общая характеристика натурального исчисления высказываний 12:57 Правила исчисления 24:24 Выводимость (пример 1) 35:49 Выводимость (пример 2) 48:13 Выводимость (пример 3) 56:56 Вывод (определение) 01:03:16 Выводимость (определение) 01:05:37 Специфика натурального исчисления высказываний #rules_of_calculation