DeductumDeductum

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

教程将带你了解证明的世界和游戏机制。早期问题很简单，但难度会逐渐增加，直到最后你可能甚至不知从何入手。不过，每个问题都有解，只要你深入思考，就无需猜测！

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

• 共 111 道待解谜题，包括德摩根定律和排中律等经典定理

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