Игра: Логика "Если... Тогда..."

Как Играть в "Если... Тогда..."

1. 1

   Изучите Таблицу Истинности

   Таблица истинности в зале — это основа всего. P→Q ЛОЖНО ровно в ОДНОМ случае: когда P ИСТИННО, а Q ЛОЖНО. Во всех остальных случаях — включая случаи, когда P ЛОЖНО — условное высказывание истинно. Эта 'ложная основа' (ложное основание делает условное высказывание истинным) является наиболее контринтуитивной концепцией для новичков.

2. 2

   Распознавайте Правила Вывода

   Modus Ponens (P→Q, P, ∴Q) и Modus Tollens (P→Q, ¬Q, ∴¬P) действительны. Отрицание основания (P→Q, ¬P, ∴¬Q) и утверждение следствия (P→Q, Q, ∴P) являются НЕЗАКОННЫМИ ошибками. Базовый уровень проверяет все четыре.

3. 3

   Освойте Эквивалентные Формы

   Средний уровень проверяет четыре связанные формы: КОНТРАПОЗИЦИЯ (¬Q→¬P, эквивалентна оригиналу), ОБРАТНОЕ ВЫСКАЗЫВАНИЕ (Q→P, НЕ эквивалентно), ИНВЕРСНОЕ ВЫСКАЗЫВАНИЕ (¬P→¬Q, НЕ эквивалентно) и БИКОНДИЦИОНАЛ (P↔Q, истинно только когда P и Q совпадают). Также: P→Q ≡ ¬P∨Q — это эквивалентность дизъюнкции.

4. 4

   Решайте Продвинутые Задачи

   Продвинутые задачи исследуют: цепочки гипотетического силлогизма (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.

Часто задаваемые вопросы