- 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:
- 0.8 MB
- Update Date:
- Hatzic Intellectual Software
Safe to Download
AppPure.com and the download link of this app are 100% safe. The download link of this app will be redirected to the official App Store site, thus the app is original and has not been modified in any way.Got it