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:
See a list of the app's selectable derivation rules here:
I thought this was supposed to teach logic, which is what the title of the app indicates: “Logic 101.” What it actually does, I have no idea. Useless. Stealing money is what it does. More pawns of predatory, nihilistic capitalism. Congratulations.
May 24, 2021