LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.
Features
- Sentential logic [Done]
- Predicate logic [Planned]
- Truth Table [Done]
- Own Junktors [Planned]
- Quantors [Planned]
License
GNU General Public License version 2.0 (GPLv2)Follow LogicCalculus
Other Useful Business Software
$300 in Free Credit Towards Top Cloud Services
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of LogicCalculus!