Deductum

在这款极简主义的谜题游戏中，你将获得一组前提和一个结论，你的任务是利用逻辑的基本规则，一步一步地形式化证明该结论成立。

新手教程将带你走进证明的世界并熟悉游戏机制。起初的关卡很简单，但难度会逐渐增加，直到最后你甚至可能不知道从何下手。不过，每个问题都有解，只要你深入思考，就永远不需要靠猜！

• 操作简单。没有计时器。没有干扰。只有逻辑。

• 111 道待解决的难题，包括德·摩根定律和排中律等经典定理

• 沙盒模式：输入任何命题（使用命题符号 A–H），看看你是否能证明它！