Deductum

В этой минималистической игре-головоломке вам дается набор предпосылок и выводов, и ваша задача состоит в том, чтобы использовать фундаментальные правила логики, чтобы формально доказать, шаг за шагом, что вывод следует.

Учебники знакомят вас с миром доказательств и игровой механикой. Ранние проблемы просты, но сложность постепенно увеличивается, пока вы не узнаете, с чего начать. Тем не менее, у каждой проблемы есть решение, и если вы достаточно глубоко подумаете, вам никогда не придется гадать!

Простой контроль. Никаких таймеров. Никаких отвлекающих факторов. Просто логика.

111 задач, которые нужно решить, включая классические теоремы, такие как Законы Де Моргана и Закон Исключенного Среднего

Режим песочницы: введите любое утверждение (с символами предложения A-H) и посмотрите, сможете ли вы доказать это!