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.
- 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.
Share with Others
- Last changed:
- Apr 24, 2012
- Hatzic Intellectual Software
- Average Rating:
- No data
- 0.2 MB