Wirelogic

Доска начинается с блоков предпосылок и цели. Выберите правило вывода из палитры, затем щелкните нужные входные блоки; если они подходят, правило создает новый блок, подключенный к его входам. Цепите правила, пока не получите цель. Чтобы доказать импликацию, добавьте предположение и разрядите его с помощью импликации-введения.

• Выберите правило, например modus ponens, and-introduction или and-elimination.
• Щелкните его входные блоки, чтобы получить новое предложение.
• Добавьте предположение, чтобы доказать импликацию, затем примените введение импликации.
• Осветите цель, используя как можно меньше правил, чтобы превзойти номинал

• Ежедневно: фиксированная головоломка, которой делятся каждый день.
• Практика: свежие рандомизированные головоломки

• Рабочий стол: щелкните правило, затем щелкните блоки ввода на холсте; Доступны функции «Отменить», «Отменить правило», «Очистить доску» и «Новое».
• Телефон и планшет: коснитесь правила и коснитесь блоков, чтобы соединить их (только с помощью мыши или сенсорного экрана).

• Двигайтесь назад от цели, чтобы увидеть, какое правило ее создает, а затем извлеките входные данные этого правила.
• Если целью является импликация, заранее примите ее антецедент и постарайтесь вывести консеквент, прежде чем приступить к делу.

Wirelogic построен на естественной дедукции, превращая формальные правила доказательства в головоломку.

• Навыки: естественная дедукция, формальная логика, правила доказательства.
• Подходит для: средней школы/колледжа продвинутого уровня.
• Для родителей и учителей: естественный вывод, формальное доказательство.

Начинать с блоков-посылок и приходить к цели, выбирая правила вывода, — это формальная дедукция, практика, идущая от силлогизма Аристотеля до современных систем доказательства.

Поучительная деталь замысла — правило срабатывает, только если его входы действительно подходят.

В этом вся разница между рассуждением и утверждением. Аргумент, который кажется верным, но не соответствует форме ни одного допустимого правила, — ровно та ошибка, для поимки которой изобрели формальную логику, и невозможность насильно провести связь поучительнее, чем отметка «неверно».

Wirelogic — это оригинальная бесплатная браузерная логическая игра, основанная на естественной дедукции, превращающая формальные правила доказательства в подключаемые блоки, так что структура допустимого аргумента становится тем, что вы можете увидеть и построить.

Оригинальная бесплатная игра в браузере — без загрузки. Смотреть все игры →