The Logic App 2.1
Device: iOS iPad Only
Category: Education
Price: $2.99, Version: 2.0 -> 2.1 (iTunes)
Description:This app provides the tools you will use most often in introductory symbolic logic courses.
* The logical notation can be chosen to match any textbook.
* Logical formulas are entered using a custom symbolic keyboard, which detects syntax errors.
* Lists of formulas can be saved and reloaded later.
* Truth tables can be generated for individual formulas, and sets of formulas can be tested for validity and consistency.
* Derivations can be constructed in several different natural deduction systems, including "The Logic Book" and "Language, Proof, and Logic".
* Lines in the derivation editor are colour-coded to show assumptions and derived lines.
* The derivation editor tells you when the derivation is complete, and provides annotations for each line.
What's New
- Added the sentential logic derivation system from R.L. Simpson's "Essentials of Symbolic Logic".
- Minor bug fixes.
The Logic App