Logic 101

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