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.