send link to app

Logic 101


4.2 ( 6912 ratings )
教育
開発者 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