Download online Logic++.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

Download this app named Logic++.

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.

Updates:

- Added biconditional ('=')
- Minor bug fix

 

 

Free download Android Logic++ from MyAndroid.net

Page navigation:

• < Prev
• Next >