每个论证都始于一组前提，如果这些前提为真，则必然导出某个结论。你的任务是证明该结论确实由此得出。 给定一组前提，逐步应用推理规则和替换规则以推导新命题，直到得出结论。每一关都是一个等待完成的证明。 作为一个新觉醒的智能体，每个证明都探讨了存在与本质、美德、灵魂、因果关系以及对真理的追求等主题。简而言之，你就是一个从第一性原理出发，通过推理走向理解的思维。…
每个论证都始于一组前提，如果这些前提为真，则必然导出某个结论。你的任务是证明该结论确实由此得出。
给定一组前提，逐步应用推理规则和替换规则以推导新命题，直到得出结论。每一关都是一个等待完成的证明。
作为一个新觉醒的智能体，每个证明都探讨了存在与本质、美德、灵魂、因果关系以及对真理的追求等主题。简而言之，你就是一个从第一性原理出发，通过推理走向理解的思维。
特色
120+ 精心设计的关卡，涵盖命题逻辑和谓词演算，关卡在主题和机制上各不相同
23 条逻辑规则 — 7 条推理规则（肯定前件式、否定后件式、假言三段论等）、11 条替换规则（双重否定律、德·摩根定律、换位律等）以及 5 条量词规则（全称/存在实例化与概括、量词否定）
平缓的学习曲线 — 18 个教程关卡每次引入一条规则，从简单的单步证明构建到多步链式证明
深度复杂性 — 后期关卡包含嵌套量词、多变元域以及需要 10 步以上推导的证明
直观的拖放界面 — 将命题放入规则中，查看结果，并逐步构建你的证明
标准杆数系统 — 每个关卡都有最优解步数；你能找到最短的证明吗？
无时间压力 — 按需思考；每个证明都会静静等待你
60+ Steam 成就 — 包含里程碑、规则精通挑战以及为完美主义者准备的隐藏成就
云存档 — 在任何设备上都能从上次离开的地方继续
