Lemma
一次构造一个合理的证明——每一步都必须遵循账本上已有的内容，任何逻辑上的飞跃都被抛弃。
怎么玩
左窗格显示数字、给定条件和目标。中心是一个两栏的分类帐，记录您建立的陈述和理由。从候选步骤池中一次添加一个；仅当步骤的先决条件已得到证实时，该步骤才会被接受。导出完成证明的目标。
- 单击候选步骤尝试将其添加到分类帐中
- 步骤锁定，直到其先决条件行建立为止
- 无效的跳跃被拒绝，有时还有反例
- 用更少的行数、更少的提示达到目标，获得更高的分数
游戏模式
控制
- 桌面：点击池中的步骤进行添加；撤消、提示和新建位于工具栏上
- 手机和平板电脑：点击步骤进行添加，然后点击工具栏按钮（仅限鼠标或触摸）
提示与策略
- 从给定的情况出发——寻找您已经在账本上具备先决条件的步骤
- 谨慎使用提示；每个都放置下一个规范行，但会降低你的最终分数
你将学到什么
引理教授严格的演绎证明，强制每一步都是合理的。
- 技能：演绎证明、形式逻辑、数学严谨性
- 最适合：高级高中/大学
- 对于家长和老师：严格的演绎证明。
关于引理
引理是一款原创的免费浏览器逻辑游戏，它教授严格的演绎证明，强制每个主张都由先前的行证明是合理的，就像真正的两列几何证明所要求的那样。
免费的原创浏览器游戏 — 无需下载。查看全部游戏 →
