Как разбить реальность на строки и столбцы | Таблицы истинности | Логика | Дискретная математика ...

Сегодня мы построим таблицы истинности с нуля и заставим некрасивое утверждение признать свою истинность. Мы начнём с основных таблиц для операторов И, ИЛИ и ЕСЛИ-ТО, затем масштабируем до трёх переменных (P, Q, R), постепенно соберём столбцы и проверим полное утверждение: (P∨Q)∧(P→R)∧(Q→R)→R К концу вы научитесь строить строки (2ⁿ), логически заполнять столбцы и определять, является ли утверждение условным, противоречивым или тавтологическим. Принесите кофе и уйдём с ясностью мысли.    • The Art of Killing Chaos With Logic: Simpl...      • Logic      • Discrete Mathematics   Свойства / правила, используемые в видео Правило количества строк: при n переменных таблица содержит 2ⁿ строк. Конъюнкция (A ∧ B): истинна, если и A, и B истинны. Дизъюнкция (A ∨ B): истинна, если хотя бы одно из A, B истинно. Импликация (A → B): ложна, только когда A истинно, а B ложно. Метод построения столбцов: вычислить подвыражения, затем объединить. Проверка тавтологии: в последнем столбце все T ⇒ утверждение всегда true Главы 00:00 Введение 00:36 Утверждения, переменные (P, Q, R) и 2ⁿ строки 02:30 Таблица истинности AND (∧) 04:40 Таблица истинности OR (∨) 06:20 Таблица истинности IF-THEN (→) 08:15 Создание таблицы с 3 переменными 10:00 Столбец: P ∨ Q 11:40 Столбец: P → R 13:05 Столбец: Q → R 15:20 Объединение: (P ∨ Q) ∧ (P → R) 17:10 Сложение (Q → R) и вычисление левой части 19:20 Заключительное следствие для R 20:30 Результат: тавтология и почему 22:00 Спасибо за просмотр #ТаблицыИстинности #СимволическаяЛогика #ПропозициональнаяЛогика #ДискретнаяМатематика #БулеваАлгебра #ЛогическиеВентили #УчебникМатематики #Догматика