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