The Logic App SD
By Hatzic Intellectual Software
Open iTunes to buy and download apps.
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.
- 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.
Frustrating To try and use. I figured out how to add assumptions but there is no clear instructions for where to add what I want to derive. The directions in the menu don't mention it at all (except to say that they will be highlighted in blue but how you get them there remains a mystery). Logic is frustrating enough without having to deal with an app that doesn't make it's use clear in 5 minutes of reading menus and tinkering. I'm throwing it away right now. Waste of a buck :(
I bought the app to hopefully help me check my homework in my Introduction to Symbolic Logic course, but basically it has been useless, as it is not clear how it works.
- Category: Education
- Released: Apr 24, 2012
- Version: 1.0
- Size: 0.2 MB
- Language: English
- Seller: D. Johnston
- © 2012 D.K. Johnston
Compatibility: Requires iOS 3.2 or later. Compatible with iPhone, iPad, and iPod touch.