Плиско В.Е. - Введение в математическую логику - 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 Теорема о полноте. Пример применения логики высказываний

Ссылка на плейлист:

#мгу #мехмат #математика #плиско #логика #математическаялогика