The Logic App SD


The Logic App SD
Download on the AppStore Click here to request a review of this app

  • App Store Info

Description

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 it's 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.

Screenshots

Screenshot 1 of 4 Screenshot 2 of 4 Screenshot 3 of 4 Screenshot 4 of 4