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
$300 in Free Credit Towards Top Cloud Services Icon
$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
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