價格:免費
更新日期:2016-10-16
檔案大小:1.2M
目前版本:1.03
版本需求:Android 4.1 以上版本
官方網站:http://yaleweiss.commons.gc.cuny.edu/logic/
Email:palamedes.developer@gmail.com
Logic++ is a multipurpose automated theorem proving and analysis tool for classical propositional logic (additional propositional logics may be added in updates). Its features include automated theorem proving, valid inference testing, automated (tableau) proof generation, automated truth table generation, and normal form conversion.