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 - О равенстве в формальной теории Сегодня говорим о формальном исчислении высказываний 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: