Deductum

Минималистская игровая головоломка, в которой вы создаете формальные логические доказательства.

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

: Requires a 64-bit processor and operating system
OS: 7
Processor: x86-64
Memory: 2 GB RAM
Graphics: Full OpenGL 3.3 support or Direct3D 11 support
DirectX: Version 11
Storage: 200 MB available space

: Requires a 64-bit processor and operating system
OS: 7
Processor: x86-64
Memory: 2 GB RAM
Graphics: Full OpenGL 3.3 support or Direct3D 11 support
DirectX: Version 11
Storage: 200 MB available space

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

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

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

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