Subscribe to our newsletter:

Logic 101

iPhone / iPad
  • Education
I want this app
Download from AppStore

You thought logic would be easier than math. Now you're doing derivations and it's too late to drop the course. This app is for you.

- Checks the syntax of symbolic sentences.
- Tests whether the derivation is complete.
- Derivable lines are coloured blue; hypotheses are coloured green.
- Provides an annotation of the derivation, showing line justifications.
- Annotated derivations can be emailed as RTF files.

See the complete app help files here:

See a list of the app's selectable derivation rules here: