Игра: Логика "Если... Тогда..."
Освойте логику условных высказываний "если... тогда..." (P → Q). 45 задач в трех уровнях: Базовый охватывает таблицу истинности для P→Q (ложное основание, единственный ложный случай), modus ponens, modus tollens и почему утверждение следствия и отрицание основания являются недействительными. Средний уровень добавляет контрапозицию, обратное и инверсное высказывания, бикондиционал (P↔Q), эквивалентность дизъюнкции (¬P∨Q) и гипотетический силлогизм. Продвинутый уровень охватывает цепочки условных высказываний, отрицание условных высказываний (¬(P→Q) = P∧¬Q), тавтологии, комплексный анализ истинностных значений и пограничные случаи.
Ещё такие
Как Играть в "Если... Тогда..."
Изучите Таблицу Истинности
Таблица истинности в зале — это основа всего. P→Q ЛОЖНО ровно в ОДНОМ случае: когда P ИСТИННО, а Q ЛОЖНО. Во всех остальных случаях — включая случаи, когда P ЛОЖНО — условное высказывание истинно. Эта 'ложная основа' (ложное основание делает условное высказывание истинным) является наиболее контринтуитивной концепцией для новичков.
Распознавайте Правила Вывода
Modus Ponens (P→Q, P, ∴Q) и Modus Tollens (P→Q, ¬Q, ∴¬P) действительны. Отрицание основания (P→Q, ¬P, ∴¬Q) и утверждение следствия (P→Q, Q, ∴P) являются НЕЗАКОННЫМИ ошибками. Базовый уровень проверяет все четыре.
Освойте Эквивалентные Формы
Средний уровень проверяет четыре связанные формы: КОНТРАПОЗИЦИЯ (¬Q→¬P, эквивалентна оригиналу), ОБРАТНОЕ ВЫСКАЗЫВАНИЕ (Q→P, НЕ эквивалентно), ИНВЕРСНОЕ ВЫСКАЗЫВАНИЕ (¬P→¬Q, НЕ эквивалентно) и БИКОНДИЦИОНАЛ (P↔Q, истинно только когда P и Q совпадают). Также: P→Q ≡ ¬P∨Q — это эквивалентность дизъюнкции.
Решайте Продвинутые Задачи
Продвинутые задачи исследуют: цепочки гипотетического силлогизма (A→B→C→D дает A→D); что мы можем определить, если известно, что P→Q ЛОЖНО (P=И, Q=Л); тавтологии типа (P→Q)∨(Q→P); и отрицание ¬(P→Q) = P∧¬Q. Они охватывают материал из курсов дискретной математики и формальной логики.
Основные функции
45 Задач в 3 Уровнях
Базовый (15): полная таблица истинности для P→Q со всеми четырьмя строками; определение единственного ложного случая (P=И, Q=Л); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); почему отрицание основания и утверждение следствия недействительны; и ложное основание (ложное основание = всегда истинно). Средний (15): контрапозиция (¬Q→¬P), обратное высказывание (Q→P) и инверсное высказывание (¬P→¬Q); какие пары логически эквивалентны; бикондиционал (P↔Q); эквивалентность дизъюнкции (P→Q ≡ ¬P∨Q); отрицание условного высказывания; и гипотетический силлогизм. Продвинутый (15): цепочки условных высказываний; тавтологии; знание того, что P→Q ложно, обязывает P=И и Q=Л; комбинирование условных высказываний для доказательства бикондиционалов; определение Q из P→Q и ¬P→Q; и логическое значение P→P.
Интерактивный Зал Таблиц Истинности
В зале отображается полная таблица истинности для P→Q с цветовой кодировкой истинностных значений — зеленые фишки для ИСТИНА, красные для ЛОЖЬ — и выделяется строка, которая дает ЛОЖЬ. Это служит постоянным справочным материалом и обучает основной механике перед началом викторины.
Семантическое Окрашивание Выбора
Плитки с ответами, на которых написано ИСТИНА, слегка окрашены в зеленый цвет, а плитки с надписью ЛОЖЬ окрашены в красный цвет еще до выбора, соответствуя их семантическому значению. Это формирует ассоциацию между метками истинностных значений и их смыслом, а не рассматривает все варианты выбора как визуально идентичные.
Моноширинный Логический Синтаксис
Вопросы и объяснения используют стандартный логический синтаксис: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Моноширинный шрифт делает логическую структуру легко читаемой и отражает, как условные высказывания представлены в дискретной математике, информатике и разделах формальных рассуждений SAT/LSAT.
Часто задаваемые вопросы
Почему "Если ложь, то что угодно" — это ИСТИНА?
Это называется ложной основой (vacuous truth). Условное высказывание "Если P, то Q" — это обещание: "Всегда, когда P происходит, Q будет происходить". Если P никогда не происходит (P ложно), обещание никогда не проверяется — а непроверенное обещание не может быть нарушено. Так что условное высказывание технически истинно. Это кажется странным, но логически последовательно: ложное основание никогда не может нарушить условное высказывание.
Какова разница между контрапозицией, обратным высказыванием и инверсным высказыванием?
Оригинал: Если P, то Q (P→Q). Контрапозиция: Если не Q, то не P (¬Q→¬P) — ЭКВИВАЛЕНТНО оригиналу. Обратное высказывание: Если Q, то P (Q→P) — НЕ эквивалентно. Инверсное высказывание: Если не P, то не Q (¬P→¬Q) — НЕ эквивалентно (но эквивалентно обратном высказывании). Мнемоническое правило: Оригинал и Контрапозиция эквивалентны; Обратное высказывание и Инверсное высказывание эквивалентны друг другу.
Что такое Modus Ponens?
Modus Ponens ("утверждение основания"): P→Q, P, ∴Q. Если условное высказывание верно и основание истинно, то следствие должно быть истинным. Пример: "Если идет дождь, земля становится мокрой. Идет дождь. Следовательно, земля стала мокрой." Это самая базовая и универсально верная форма дедуктивного вывода.
Что такое Modus Tollens?
Modus Tollens ("отрицание следствия"): P→Q, ¬Q, ∴¬P. Если условное высказывание верно и следствие ЛОЖНО, то основание должно быть ложным. Пример: "Если идет дождь, земля становится мокрой. Земля НЕ мокрая. Следовательно, дождь НЕ шел." Это верно, потому что условное высказывание было бы нарушено (P=И, Q=Л), если бы P было истинным.
Почему "утверждение следствия" неверно?
Утверждение следствия: P→Q, Q, ∴P неверно. Даже если условное высказывание верно и Q истинно, P может быть ложным — Q могло быть вызвано чем-то другим. Пример: "Если идет дождь, земля становится мокрой. Земля мокрая. Следовательно, шел дождь." Неверно — земля может быть мокрой от поливальной системы. Условное высказывание не говорит, что дождь — единственная причина мокроты.
Как работает подсчет очков?
Правильные ответы приносят 10 очков (Базовый), 15 очков (Средний) или 20 очков (Продвинутый). Последовательные правильные ответы добавляют бонус в 5 очков за ответ после первого. Неправильный ответ сбрасывает серию до нуля.