玩這個程式,並建立一些證明在自然扣除風格。 按一下公式會自動擴展公式,並包含可能的規則。 假設以藍色列印。其中一個選定生成一個新的子樹。 附加兩個樹通過將第一個樹根拖動到第二個樹的葉上完成。 如果只有一種可能性,則會自動執行此附件。 當樹被紅色矩形包圍時,將完成校對。
玩得愉快!邏輯很有趣
版本歷史記錄
- 版本 1.5 發佈於 2015-05-07
更好的顯示
軟體細節
- 軟體分類: 教育 > 教學和培訓工具
- 發佈者: Laurent Théry
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.5
- 作業系統: android