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

Описание

00:00:14 Высказывание. Основные логические операции (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция)
00:15:55 Пропозициональные формулы. Индукция по построению. Теорема о скобочном итоге
00:25:51 Единственность синтаксического анализа. Индуктивное задание функций. Подстановка
00:34:32 Соглашение о скобках. Оценка. Истинностная таблица. Пример
00:47:36 Тавтология. Противоречие. Теорема о подстановке. Примеры
00:57:41 Равносильные формулы. Подстановка в равносильность. Основные равносильности
01:05:20 Теорема об эквивалентной замене. Формулы с тесными отрицаниями. Пример
01:14:34 Нормальные формы в логике высказываний. Приведение формул к КНФ и ДНФ
01:19:42 Выполнимость. Доказательство локальной теоремы

Ссылка на плейлист:
https://www.youtube.com/playlist?list=PLcsjsqLLSfNAz7uW_0qsOZR1cRgbRgIs_

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