Как использовать таблицы истинности (логика для начинающих)

Таблицы истинности выглядят как набор букв «Т» и «Ф», но они выполняют полезную функцию: они могут доказать ошибочность аргумента, не требуя никаких интуитивных объяснений. В этом видео я беру аргумент, который звучит убедительно («Если идёт дождь, улица мокрая. Улица мокрая. Значит, идёт дождь.»), и показываю чисто механический способ его проверки. Попутно мы строим таблицы истинности для всех пяти логических связок, разбираем полные примеры и видим, как выявлять тавтологии, противоречия, обоснованные аргументы и логическую эквивалентность. Вы можете поддержать канал и помочь ему развиваться, сделав пожертвование на моей странице Ko-fi: https://ko-fi.com/atticphilosophy 00:00 - Вступление 01:48 - Основные таблицы истинности 08:38 - Построение таблицы истинности 13:47 - Тавтологии и противоречия 15:15 - Проверка аргументов 20:21 - Логическая эквивалентность Что рассматривается: – Таблицы истинности для ¬, ∧, ∨, → и ↔ – Почему «ложь → что угодно» оказывается истинной – Правило 2ⁿ строк и как построить таблицу шаг за шагом – Тавтологии, противоречия и условные предложения – Проверка достоверности: поиск строки контрпримера – Утверждение следствия (недействительного) против modus ponens (действительно) – Отрицание антецедента – Доказательство того, что P → Q эквивалентно ¬P ∨ Q Поддержите канал Частные уроки философии: https://www.markjago.net/tutoring/ Подпишитесь на канал, чтобы получать больше информации по философии и логике:    / atticphilosophy   #логика #таблицыистинности #философия #критическоемышление