Natural Deduction 1.5

軟體性質: 免費 ‎檔案大小: 1.15 MB
‎使用者評分: 0.0/5 - ‎0 ‎評分

玩這個程式,並建立一些證明在自然扣除風格。 按一下公式會自動擴展公式,並包含可能的規則。 假設以藍色列印。其中一個選定生成一個新的子樹。 附加兩個樹通過將第一個樹根拖動到第二個樹的葉上完成。 如果只有一種可能性,則會自動執行此附件。 當樹被紅色矩形包圍時,將完成校對。

玩得愉快!邏輯很有趣

版本歷史記錄

  • 版本 1.5 發佈於 2015-05-07
    更好的顯示

軟體細節