Home

Ömercan

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

Screenshot thumbnail
The GUI of LogicCalculus [1.0]
Screenshot thumbnail
Start screen of LogicCalculus [1.1]
Screenshot thumbnail
A more complicated term [1.0]
Screenshot thumbnail
Very simple term with changed GUI [1.0]
Screenshot thumbnail
SplashScreen at the start of LogicCalculus in Linux [1.1.1]

Developers

Project Admins:

Downloads


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks