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

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]

Project Activity

See All Activity >

Categories

Data Visualization, Mathematics, Education

License

GNU General Public License version 2.0 (GPLv2)

Follow LogicCalculus

LogicCalculus Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
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

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

User Interface

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

Programming Language

C++

Database Environment

XML-based

Related Categories

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

Registered

2011-11-05
Report inappropriate content