What's New
Updated for iOS 13.0.
App Description
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:
http://www.hatzicware.com/logic/Help.pdf
See a list of the app's selectable derivation rules here:
http://hatzicware.com/logic/rules.pdf
iPhone Screenshots
(click to enlarge)
App Changes
- March 12, 2016 New version 2.0
- March 12, 2016 Price decrease: $1.99 -> $0.99
- July 02, 2016 Price increase: $0.99 -> $1.99
- July 30, 2016 Price decrease: $1.99 -> $0.99
- November 05, 2016 Price increase: $0.99 -> $1.99
- July 14, 2020 New version 2.2
Other Apps From D. Johnston
