A logic IDE for the sentential logic and the predicate logic.
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.
- Sentential logic [Done]
- Predicate logic [Planned]
- Truth Table [Done]
- Own Junktors [Planned]
- Quantors [Planned]
I tried the application on a simple [¬p v q] → r statement. It seems to start from left to right as opposed from right to left. If I get the chance, I would definitely like to contribute to this application but I see the source is not bundled in one zip format. The results of the method used here result in incorrect final results. I have had to use another program which I know definitely works according to the training manual as the layout appears the same and my answers are 90% correct. Otherwise I know this project could be a major success and aid for most future students. The alternative which is in Java can be found if searching Google for "truth table constructor", it is developed by Brian-Borowski.