速報APP / 教育 / Logic++

Logic++

價格:免費

更新日期:2016-10-16

檔案大小:1.2M

目前版本:1.03

版本需求:Android 4.1 以上版本

官方網站:http://yaleweiss.commons.gc.cuny.edu/logic/

Email:palamedes.developer@gmail.com

Logic++(圖1)-速報App

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.

Logic++(圖2)-速報App