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.

What's New in Version 2.0

- Updated for iOS 8.
- Fixed a bug where some double-negated variables were not evaluated properly.