Natural Deduction 1.5

许可: 免费 ‎文件大小: 1.15 MB
‎用户评分: 0.0/5 - ‎0 ‎评分

玩这个程序,并建立一些证明在自然扣除风格。 单击公式会自动扩展公式,并包含可能的规则。 假设以蓝色打印。其中一个选定生成一个新的子树。 附加两个树通过将第一个树根拖动到第二个树的叶上完成。 如果只有一种可能性,则会自动执行此附件。 当树被红色矩形包围时,将完成校对。

玩得愉快!逻辑很有趣

版本历史记录

  • 版本 1.5 发布于 2015-05-07
    更好的显示

软件信息