Wirelogic
将推理规则块连接到一个证明图中，通过规则提供前提，直到目标节点亮起绿色。
怎么玩
董事会从你的前提块和目标开始。从调色板中选择一个推理规则，然后单击它需要的输入块；如果它们适合，该规则就会派生一个连接到其输入的新块。连锁规则直到你得出目标。为了证明一个蕴涵，添加一个假设并通过蕴涵引入来释放它。
- 选择一个规则，例如肯定前件、and-introduction 或 and-elimination
- 单击其输入块以导出新命题
- 添加一个假设来证明蕴涵，然后应用蕴涵引入
- 用尽可能少的规则点亮目标，打破标准杆
游戏模式
控制
- 桌面：单击规则，然后单击画布上的输入块；撤消、取消规则、清除板和新建可用
- 手机和平板电脑：点击规则并点击块以连接它们（仅限鼠标或触摸）
提示与策略
- 从目标开始向后推导，看看哪个规则产生了它，然后导出该规则的输入
- 当目标是暗示时，尽早假设其前因，并在释放之前推导出结果
你将学到什么
Wirelogic 建立在自然演绎的基础上，将形式证明规则转变为接线难题。
- 技能：自然演绎、形式逻辑、证明规则
- 最适合：高级高中/大学
- 对于家长和老师：自然演绎，形式证明。
关于Wirelogic
Wirelogic 是一款基于自然演绎的原创免费浏览器逻辑游戏，将形式证明规则转化为可连接的块，从而使有效论证的结构成为您可以看到和构建的东西。
免费的原创浏览器游戏 — 无需下载。查看全部游戏 →
