Screenshots
![The GUI of LogicCalculus [1.0]](http://a.fsdn.com/con/app/proj/logiccalculus/screenshots/ScreenShot1.png)
![A more complicated term [1.0]](http://a.fsdn.com/con/app/proj/logiccalculus/screenshots/ScreenShot2.png)
![Very simple term with changed GUI [1.0]](http://a.fsdn.com/con/app/proj/logiccalculus/screenshots/ScreenShot3.png)
![Start screen of LogicCalculus [1.1]](http://a.fsdn.com/con/app/proj/logiccalculus/screenshots/ScreenShot4.png)
![SplashScreen at the start of LogicCalculus in Linux [1.1.1]](http://a.fsdn.com/con/app/proj/logiccalculus/screenshots/ScreenShot5.png)
Description
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.
Categories
License
Features
- Sentential logic [Done]
- Predicate logic [Planned]
- Truth Table [Done]
- Own Junktors [Planned]
- Quantors [Planned]
Update Notifications
User Ratings
User Reviews
Be the first to post a review of LogicCalculus!