App removed from site
We're sorry, "Logic 101" has been removed from the App Store.
Please return to the front page and use the search box above to find another app.
AppShopper
Welcome, Guest | Login | Register | Forgot Password
| 
RSS Feed
RSS Feed
Logic 101
Designed for constructing derivations in introductory logic courses.
- Checks the syntax of symbolic sentences.
- Checks whether each line can be derived from previous lines.
- Indicates derivable lines by colour.
- Displays derivation rules for each derivable line.
- Completed derivations can be emailed.
Visit www.hatzicware.com for a user guide.
NOTE: This app is based on the derivation system SD from The Logic Book. If your course uses a different textbook, this app will still be useful; but it's a good idea to check with your instructor first.
What's new
- Four completed derivation examples from The Logic Book have been added. These can be loaded into the derivation display.
- The derivation evaluator has been made more efficient.
Screenshots
 |
Screenshot 1 of 5 |  |
| ||
Share with Others
- Last changed:
- Feb 17, 2010
- Category:
- Education
- Developer:
- Hatzic Intellectual Software
- Version:
- 1.1
- Average Rating:
- 2.50 (3)
- Size:
- 0.1 MB
