商店頁面：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：沒有區別，我不避諱這點。如果有玩家對遊戲形式介意，我願意在和他們交流時使用「可執行程序」或「習題集」來代替「遊戲」一詞。