What's New
- Updated for iOS 8.
- Fixed a bug where some double-negated variables were not evaluated properly.
App Description
This app is based on "The Logic Book" by Bergman, Moor, and Nelson.
It can also be used with other textbooks, but it's a good idea to check with your instructor first.
Features:
- Checks the syntax of logical sentences.
- Generates truth tables for logical sentences.
- Tests the consistency of sets of logical sentences.
- Tests the validity of inferences.
- Exports derivations to The Logic App SD.
iPhone Screenshots
(click to enlarge)
App Changes
- June 07, 2014 Initial release
- October 14, 2014 New version 2.0
Other Apps From D. Johnston
