LogicCalculus Icon

LogicCalculus

alpha

A logic IDE for the sentential logic and the predicate logic.

1 Recommendation
5 Downloads (This Week)
Last Update:
Download LogicCalculus_1.1.1.tar.gz
Browse All Files

Screenshots

Description

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

LogicCalculus Web Site

Features

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

Update Notifications





User Ratings

 
 
1
1
Write a Review

User Reviews

  • Posted by OpenID User — 2013-04-18

    I tried the application on a simple [¬p v q] → r statement. It seems to start from left to right as opposed from right to left. If I get the chance, I would definitely like to contribute to this application but I see the source is not bundled in one zip format. The results of the method used here result in incorrect final results. I have had to use another program which I know definitely works according to the training manual as the layout appears the same and my answers are 90% correct. Otherwise I know this project could be a major success and aid for most future students. The alternative which is in Java can be found if searching Google for "truth table constructor", it is developed by Brian-Borowski.

Read more reviews

Additional Project Details

Languages

English

Intended Audience

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

User Interface

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

Programming Language

C++

Registered

2011-11-05

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.