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