证明你能赢证明你能赢

这是一款基于逻辑与演绎的解谜游戏。在本作中，你将学习并理解一套全新的演绎系统，随后以公理和演绎规则为工具，通过输入代码来证明命题。

特色：

• 理解演绎的公理与规则（就像阅读数学书籍时那样）

• 输入代码并证明命题（就像解答数学题时那样）

• 见证“Q.E.D.”（证毕）、“Eureka!”（我发现了！），然后进入下一个循环

可能令人感到挫败的元素：

• 美术素材欠佳。（这一点相比其他三项没那么重要）

• 需要阅读大量文本，且要求具备一定的数学理解能力。（游玩本作几乎等同于阅读一本数学书）

• 创建新证明步骤的唯一方式是输入正确的代码，而这本质上并非游戏的核心玩法。（这是由于我有限的编程能力所致）

• 没有自定义推论功能。仅可使用公理和演绎规则。（欢迎体验经典的演绎系统）

如果以上几点你都能接受，那么这款游戏可能适合你。

常见问题：

问：这款游戏主要面向哪些玩家？

答：如果你有阅读数学书籍的经验，并对逻辑学感兴趣，那么你可能会喜欢这款游戏。

问：这是一款高难度游戏吗？

答：起初，本作的难度主要在于理解规则，谜题本身很容易解开。但随着游玩深入，问题会变得非常困难。无论如何，阅读与理解本身就是难度的一部分。

问：设计这款游戏时是否受到了某些事物的启发？

答：本游戏的灵感来源于数理逻辑，主要涉及命题演算的自然演绎和一阶谓词演算。

问：通关游戏需要多长时间？

答：大约 20~40 小时。

问：这款游戏与数学习题集有什么区别？

答：没什么区别。我就让它保持这样。如果有玩家介意这一点，我在与他们交流时完全可以改用“可执行文件”或“习题集”来称呼它，而不是“这款游戏”。