LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.

Features

  • Sentential logic [Done]
  • Predicate logic [Planned]
  • Truth Table [Done]
  • Own Junktors [Planned]
  • Quantors [Planned]

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow LogicCalculus

LogicCalculus Web Site

Other Useful Business Software
Veeam Data Platform v13.1 - Get Your Free Trial Icon
Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of LogicCalculus!

Additional Project Details

Operating Systems

Linux, Windows

Languages

English

Intended Audience

Advanced End Users, by End-User Class, Education, End Users/Desktop, Science/Research

User Interface

Qt, Win32 (MS Windows), X Window System (X11)

Programming Language

C++

Database Environment

XML-based

Related Categories

C++ Data Visualization Software, C++ Mathematics Software, C++ Education Software

Registered

2011-11-05