Home

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.

Screenshots

The GUI of LogicCalculus [1.0]

Start screen of LogicCalculus [1.1]

SplashScreen at the start of LogicCalculus in Linux [1.1.1]

Very simple term with changed GUI [1.0]

A more complicated term [1.0]

---

Developers

Project Admins:

• Ömercan

Downloads