商店页面：https://store.steampowered.com/app/3316620/Prove_You_Can_Win/ 

【【独立游戏】逻辑学解谜游戏 Prove You Can Win 宣传视频】 https://www.bilibili.com/video/BV1vvmdYVEBx/?share_source=copy_web&vd_source=12fecd199c781a3472366ab08a0ccd80

———————————————————————————————————————— 

以下为steam商店页面的文本： 这是一款基于逻辑学和演绎推理的解谜游戏。你可以在游戏中学习并理解全新的公理系统，然后以公理和推理规则作为工具，输入指令证明相应的命题。 游戏的主要体验包括 像阅读数学教材一样理解公理和推理规则 像做数学题一样使用公理和推理规则，并以指令的形式输入证明步骤 证毕，并享受尤里卡时刻，然后进入下一个循环 游戏可能的劝退点主要包括 游戏没有精致的画面（这是劝退程度最低的一点） 游玩时需要阅读大量文本，且对数学阅读底蕴有一定要求（就像阅读数学教材那样） 输入证明步骤以指令形式，这包含了一些和核心玩法无关的工作量（技术水平所限） 证明只能使用给定规则，不能跳出系统构建自定义推论（严格在系统内执行步骤的天然结果） 如有不能接受的方面，请慎重考虑是否购买本游戏。

 Q：游戏主要适合哪些玩家？ A：游戏适合有一定数学阅读基础，且对逻辑学有一定兴趣的玩家。 

 Q：游戏难度大吗？ A：游戏的前期难度主要体现在对公理和推理规则的理解上，也就是理解机制本身；后期的难度则不仅体现在理解规则上，还体现在部分较有难度的命题上。无论怎样，理解规则本身构成游戏难度的一环。

 Q：游戏内容参考了什么？ A：游戏参考了很多逻辑学基础课的知识，以命题逻辑和一阶谓词逻辑的公理系统和自然推演为主。

 Q：游戏的流程大概多长？ A：这非常难预测。不过可以确定的是，想在不休息的情况下一口气通关整个游戏是极为困难的，或许不可能。

 Q：玩这个游戏和做题有什么区别？ A：没有区别，我不避讳这点。如果有玩家对游戏形式介意，我愿意在和他们交流时使用“可执行程序”或“习题集”来代替“游戏”一词。