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 agoFirst 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.