Logic 101 app for iPhone and iPad

You thought logic would be easier than math. Now youre doing derivations and its 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:
http://www.hatzicware.com/logic/Help.pdf

See a list of the apps selectable derivation rules here:
http://hatzicware.com/logic/rules.pdf