The Logic App SL
This app is based on "The Logic Book" by Bergman, Moor, and Nelson.
It can also be used with other textbooks, but it's a good idea to check with your instructor first.
Features:
- Checks the syntax of logical sentences.
- Generates truth tables for logical sentences.
- Tests the consistency of sets of logical sentences.
- Tests the validity of inferences.
- Exports derivations to The Logic App SD.
Screenshots
![]() |
Screenshot 1 of 4 | ![]() |
| ||
Share with Others
- Last changed:
- Apr 24, 2012
- Category:
- Education
- Developer:
- Hatzic Intellectual Software
- Version:
- 1.0
- Average Rating:
- 2.50 (2)
- Size:
- 0.2 MB






