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

iPhone Screenshots

(click to enlarge)

The Logic App SD screenshot 1 The Logic App SD screenshot 2 The Logic App SD screenshot 3 The Logic App SD screenshot 4

App Changes

  • June 13, 2014 Initial release

Other Apps From D. Johnston

Kim's Game Amoeba Syllogism Logic 100 Logic 101 Dog Caller Doublets Doublets FREE Sales Tax Hypnotic The Logic App SL Doublets for iPad The Logic App Kim's Game for iPad Chilliwack iDeal Alert Three-Day Diet Even-Day Diet LenderBe SaleStats GeoSize Flag Matcher Geminos Book Reporter ClientCal