This app will enable you to build a propositional logic proof via natural deduction. Proofpieces or inference rules, are represented by blocks which you can just drag and drop on each other to construct a bigger proof.
免費玩Propositional Logic - Natural Deduction proof builder APP玩免費
免費玩Propositional Logic - Natural Deduction proof builder App
熱門國家 | 系統支援 | 版本 | 費用 | APP評分 | 上架日期 | 更新日期 |
---|---|---|---|---|---|---|
未知 | iOS App Store | 1.0 App下載 | $4.99 | 2013-07-10 | 2015-06-04 |