LogicCalc
Free AppAbout LogicCalc
LogicCalc is a calculator for solving problems in the propositional calculus (symbolic logic). It is useful for those taking an introductory logic course or those who are trying to learn symbolic logic on their own.
LogicCalc supports all 19 rules of inference including the 10 rules of replacement. It is smart enough to allow you to select parts of a proposition to perform a replacement on instead of just an entire WFF.
Workbooks of logic problems may be created offline and loaded into LogicCalc, the problems worked on and the results saved back to files for future reference.
As this is an early version of this application if you have any problems or crashes please contact me at "support@elsoftonline.net". I will get back to you and look into any problem.
This version of LogicCalc only supports the propositional calculus. A future version is in the works that will support the predicate calculus as well.
This application is ad-supported. If enough interest is shown a "Professional" version can be made that is ad-free.
LogicCalc supports all 19 rules of inference including the 10 rules of replacement. It is smart enough to allow you to select parts of a proposition to perform a replacement on instead of just an entire WFF.
Workbooks of logic problems may be created offline and loaded into LogicCalc, the problems worked on and the results saved back to files for future reference.
As this is an early version of this application if you have any problems or crashes please contact me at "support@elsoftonline.net". I will get back to you and look into any problem.
This version of LogicCalc only supports the propositional calculus. A future version is in the works that will support the predicate calculus as well.
This application is ad-supported. If enough interest is shown a "Professional" version can be made that is ad-free.
All Application Badges
Free
downl.
downl.
Android
2.2+
2.2+
Bug
buster
buster
Android app
App History & Updates
What's Changed
Version 1.2
Added a Print Proof to File feature. Print a formatted proof to a text file.
Version 1.1
This is the initial released version of LogicCalc. Please give it a try and let me know if you find any problems. I have worked with it extensively and wrung out most of the bugs but some may remain.
Version 1.2
Added a Print Proof to File feature. Print a formatted proof to a text file.
Version 1.1
This is the initial released version of LogicCalc. Please give it a try and let me know if you find any problems. I have worked with it extensively and wrung out most of the bugs but some may remain.
What are users saying about LogicCalc
H
by H####:
by H####:
I've been using LogiCalc for a few weeks now, and love it. However, it has a few quirks and I thought I'd pass along some advice. First, don't attempt to do anything with it until you read the "Getting Started" section in the built-in "Help" menu. (Start the program, press your device's "Menu" key, select "More" and scroll to the very end of the list. Then select "Help" and "Getting Started.") Second, TURN OFF your device's Autorotate option because if the screen rotates then it will clear and any unsaved work you've done will be lost! Finally, when you're entering a WFF a little custom keyboard comes up with lower-case letters and logic symbols. At least on my phone it is impossible to enter "e" or "f" because when you press ether of them it enters a "g" instead. Fortunately, if you tap the highlighted WFF field twice it will bring up your phone's default keyboard with the top rows of the custom keyboard above it. Then you can use the custom keyboard for the logic symbols and your own keyboard for the letters, I found this program to be very easy to use (after reading the instructions) and if not for the little quirks I mentioned above I would have given it five stars.
K
by K####:
by K####:
This is good for the basic truth functional stuff. Obviously harder things like Predicate Calculus and the quantifiers take some time, but please get there soon. It'll make your program a godsend for many who just need to hammer out every possible thing they can do until; they find something. Let us know how close that is!
U
by U####:
by U####:
The user experience is not the best and the program can be buggy however this is a good app for solving predicate logic and it taught me something new (did not know that distribution was reversible in predicate logic).
K
by K####:
by K####:
It doesn't take much to send this crying and flying back to desktop. But it's the only game in town. Nesting conditional proofs is like pulling teeth. Horrible interface, scrap it. -Nexus10 v4.3
T
by T####:
by T####:
It doesn't work
K
by K####:
by K####:
Does nothing....NO STARS
K
by K####:
by K####:
I couldn't figure out how to use it. I was super bummed.
Z
by Z####:
by Z####:
Just shows a black screen nothing else :/
by J####:
Blank screen