| Version | 2.0 |
|---|---|
| Publisher | Hatzic Intellectual Software |
| Release date | Jun 10, 2016 |
| Date added | Jun 10, 2016 |
| Os requirements | iOS |
| Requirements | Compatible with: ipad2wifi, ipad23g, iphone4s, ipadthirdgen, ipadthirdgen4g, iphone5, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen4g, ipadmini, ipadmini4g |
| Total downloads | 7 |
| Price | $0.99 |
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 annotated 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.pdfSee a list of the app's selectable derivation rules:http://hatzicware.com/logic/rules.pdf
