Welcome to the LogicCalculus Project
LogicCalculus is a IDE for the sentential logic and the predicate logic.
You can write your own expressions down and validate them with the integrated truth table.
The GUI of LogicCalculus [1.0]
A more complicated term [1.0]
Very simple term with changed GUI [1.0]
Start screen of LogicCalculus [1.1]
SplashScreen at the start of LogicCalculus in Linux [1.1.1]