В этой минималистичной головоломке вам предлагается набор предпосылок и вывод, и ваша задача — шаг за шагом использовать основные правила логики, чтобы формально доказать, что вывод следует из предпосылок. В игре есть обучающие материалы, которые познакомят вас с миром доказательств и игровыми механиками.
Первые задачи довольно просты, однако сложность постепенно увеличивается, и в какой-то момент вам может быть сложно понять, с чего начать. Тем не менее, у каждой задачи есть решение, и если вы будете достаточно глубоко размышлять, вам никогда не придется гадать!
Управление в игре простое, нет таймеров и отвлекающих факторов — только чистая логика. Вы сможете решить 111 задач, включая классические теоремы, такие как законы Де Моргана и закон исключенного третьего. Кроме того, в режиме песочницы вы можете вводить любые утверждения (с символами A-H) и проверять, сможете ли вы их доказать!
Эта игра — отличный способ улучшить свои логические навыки и насладиться решением головоломок, не отвлекаясь на лишние элементы.