Плиско В.Е. - Введение в математическую логику - 6. Исчисление высказываний

00:00:14 Ввeдение. Логическое следствие. Классическое исчисление высказываний 00:12:50 Вывод. Вывод из гипотез. Пример 00:24:01 Теорема дедукции. Индукционный шаг. Пример 00:33:58 Допустимые правила вывода 00:44:08 Противоречивое множество. Правило приведения к абсурду. Примеры 00:54:23 Закон исключенного третьего. Корректность исчисления высказываний. Обобщенная теорема о корректности 00:59:39 Максимальное непротиворечивое множество. Выполняющая оценка 01:19:07 Теорема о полноте. Пример применения логики высказываний Ссылка на плейлист: #математическаялогика