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:
1 view
1073
311
1 month ago 00:06:44 24
Я работаю - Вы зарабатываете +63.9% за 23 дня на счете для копирования. Трейдером становиться не нужно!
1 month ago 00:00:47 1
Иркутский “ИрАэро“ со счетом 2:4 проиграл “Кристаллу“ из Санкт-Петербурга в первом матче десятого тура Суперлиги России по футза
1 month ago 00:01:21 1
ВЫСОКИЙ ЗАРАБОТОК ДЛЯ ИСЧИСЛЕНИЯ ПОСОБИЯ ⛔ БЫСТРЫЙ ЗАРАБОТОК ИДЕИ 💯
1 month ago 00:37:41 1
2. Исчисление высказываний
1 month ago 01:32:30 1
Математика как иностранный. A2-2. Теория моделей в классической логике.
1 month ago 00:44:45 1
05 аксиомы и выводимость
1 month ago 00:00:50 313
Гол Алексея Протаса в меньшинстве сравнивая счет
1 month ago 00:01:54 16
Западные СМИ, всегда послушные рупоры своих хозяев, достигли новых высот самоубийственного безумия.
1 month ago 00:32:58 215
Бизнес идея для социального контракта! Как выбрать правильно? Что открыть за счет соцконтракта?
1 month ago 00:18:31 148
Куда ВЛОЖИТЬ 17500 руб. за счёт социального контракта?
1 month ago 00:20:49 1
Как САМОЗАНЯТОМУ принимать ДЕНЬГИ, если АРЕСТОВАЛИ счета?
1 month ago 00:01:12 1
СОВЕТНИК ФОРЕКС ДЛЯ РУБЛЕВОГО СЧЕТА ⭐ САМЫЕ ПОПУЛЯРНЫЕ ИНДИКАТОРЫ В ТРЕЙДИНГЕ ❗
1 month ago 00:00:26 40
️ Матч ФК “Ростов“ - ФК “Спартак“ завершился со счетом 2:1. Донская команда одержала победу. Теперь «Ростов» проходит в следующи
1 month ago 00:00:26 2K
Матч “Ростов“-“Спартак“ завершился со счетом 2:1
1 month ago 00:00:25 1.2K
😺💪«Ак Барс» завершил выездную серию очередной победой Счёт на табло - 2:3
1 month ago 00:01:01 1
✔ ЗАРАБОТОК НА КИВИ БЕЗ ВЛОЖЕНИЙ 2024 🚫 ЗАРАБОТОК НА СЧЕТ ТЕЛЕФОНА
1 month ago 00:09:27 1
В каком банке открыть счет для ИП? 💸
1 month ago 00:00:10 1
ХК «Южный Урал» переиграл ХК «Торос» со счетом 2:1
1 month ago 00:00:57 1.7K
В Орске два инвалида, выживают за счет единственного фонаря на улице 1
1 month ago 00:00:32 1.5K
В Орске два инвалида, выживают за счет единственного фонаря на улице 3
1 month ago 00:00:21 1.5K
В Орске два инвалида, выживают за счет единственного фонаря на улице 4
1 month ago 00:00:25 1.3K
В Орске два инвалида, выживают за счет единственного фонаря на улице 5
1 month ago 00:00:19 1.4K
В Орске два инвалида, выживают за счет единственного фонаря на улице 6
1 month ago 00:00:30 2.1K
В Орске два инвалида, выживают за счет единственного фонаря на улице 7