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.

Visit The Logic App website before you buy to find out how it all works.