Current version: 2.2, last update: 4 years ago
First release : 06 Aug 2009
App size: 616 Kb
If youre taking intro logic to avoid taking a math course, this is the app for you.
- Check the syntax of symbolic sentences.
- Generate truth tables.
- Test for consistency and validity.
- Choose a symbolic notation to match any textbook.