The Logic App SD app for iPhone and iPad

4.5 ( 5875 ratings )

Utilities Education
Developer: Hatzic Intellectual Software

0.99 USD

Current version: 1.0, last update: 7 years ago
First release : 23 Apr 2012
App size: 210.82 Kb

This app is based on the derivation system SD of "The Logic Book" by Bergman, Moor, and Nelson.

It should also be useful for other textbooks, but its a good idea to check with your instructor first.

Features:

- Assumptions and derived lines are colour-coded.
- Derivations can be tested for unjustified lines.
- Annotated derivations are generated automatically.
- Derivations can be exported to The Logic App SL.
- Save derivations and reload them later.