send link to app

Logic 101


4.2 ( 6912 ratings )
Ensino
Developer: Hatzic Intellectual Software
1.99 USD

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