Logic 101 2.2

You might have underestimated the complexity of logic compared to math. If you find yourself struggling with derivations and it's no longer an option to withdraw from the course, this application can assist you.

• Verifies the syntax of symbolic statements.
• Checks the completeness of derivations.
• Highlights derivable lines in blue and hypotheses in green.
• Includes a breakdown of the derivation, indicating line justifications.
• Enables emailing annotated derivations as RTF files.

For further information, you can access the comprehensive app help files here.

For a detailed list of selectable derivation rules within the app, click here.