2. Исчисление высказываний

00:00 - Определение формального ИВ
04:20 - Аксиомы ИВ и Modus ponens
06:45 - Правила подстановки
11:40 - Определение эквиваленции
15:05 - Слова, формулы, теоремы, аксиомы
16:28 - Доказательство a=a
24:45 - Таблицы истинности
28:23 - Полнота ИВ
32:00 - Тождества
35:26 - О равенстве в формальной теории

Сегодня говорим о формальном исчислении высказываний

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:

[alexeyfetisov]

Спасибо за видео. Очень внятный и структурированный материал.

[capable]

3:48 всякая переменная является формулой, это абдукция или доказательное рассуждение ?

[thetraveler]

Здраствуйте, формальная система и дедуктивная система это суть одно и то же? ну типа как синонимы, обозначающую одну и ту же вещь.

[vitaly.scientist]

Здравствуйте,

У меня три вопроса:

1) Правильно ли я понял, что Булевы функции представляют собой Модель Теории Исчисления высказываний.

2) Таблицы Истинности представляют собой другую модель ИВ (хоть и похожую на булевы функции).

3) Любые функции, в частности булевы, определяются на основе множеств, в которую в конечном счёте входит и Исчисление Высказываний. С другой стороны, моделью ИВ являются Булевы функции. Не имеем ли мы здесь заколдованного круга: В теорию ИВ входят Булевы Функции и с другой стороны Булевы функции определяются на основе теории ИВ?