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
Veeam Data Platform v13.1 - Get Your Free Trial
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of LogicCalculus!