10/16/2026
Some Notes on the Exercise Files
The files can either be html files (with suffix .html) or 'logic' files (with suffix .lgc). The html files are, yes, html, and the logic files are, internally, a mix of HTML and XML (i.e. just text). So, all the files are text (which can be read, typed, etc.). HTML is good enough for most of the functions of Deriver. But if you need to save half-finished proofs with the intention of going back to them, .lgc is required. Similarly, for half-finished trees or diagrams. Deriver can save as .html or as .lgc, and it can open both of these types. The User can choose.
Working Offline
You can open a file in Deriver from an url. Then just save it. This is not the best technique if you want twenty files. Sometimes an entire course-load of exercise is provided here in a single html document or a single zipped folder of the exercises. [Zipped files from any remote source are a security risk. You should scan them with some suitable virus or malware checker before opening.]
How to Access these Exercises
Derivation Planner as an app from App stores
Deriver [Functional Terms, Identity, First Order Theories, Set Theory—Gentzen Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'gentzen'.]
https://softoption.us/test/Deriver/PredExGentzen/CombinedTutorialsGentzen.lgc
Easy Deriver [Sentential and Predicate Logic—Bergmann Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'bergmann'.]
Here are all the exercises. Your easiest way to open one of these is to copy (i.e. don't click on it) the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu.
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann1.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann2.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann3.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann4.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann5.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann6.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann7.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann8.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann9.html
https://softoption.us/test/Deriver/PropExBergmann/PropExBergmann10.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann1.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann2.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann3.lgc
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann4.lgc
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann5.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann6.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann7.lgc
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann8.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann9.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann10.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann11.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann12.html
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann13.lgc
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann14.lgc
https://softoption.us/test/Deriver/PredExBergmann/PredExBergmann15.html
If you are comfortable downloading zipped folders, you can download the zipped folders 10 Propositional Exercises (Bergmann syntax) or 15 Predicate Exercises (Bergmann syntax) It is probably wise to inspect any downloaded zip file with some security software. Then, assuming all is well, expand the compressed folders. Then open individual logic files in Deriver using 'Open Logic File' off the File menu.
Easy Deriver [Sentential and Predicate Logic—Copi Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'copi'.]
Here are all the exercises. Your easiest way to open one of these is to copy (i.e. don't click on it) the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu.
https://softoption.us/test/Deriver/PropExCopi/PropExCopi1.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi2.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi3.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi4.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi5.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi6.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi7.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi8.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi9.html
https://softoption.us/test/Deriver/PropExCopi/PropExCopi10.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi1.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi2.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi3.lgc
https://softoption.us/test/Deriver/PredExCopi/PredExCopi4.lgc
https://softoption.us/test/Deriver/PredExCopi/PredExCopi5.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi6.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi7.lgc
https://softoption.us/test/Deriver/PredExCopi/PredExCopi8.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi9.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi10.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi11.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi12.html
https://softoption.us/test/Deriver/PredExCopi/PredExCopi13.lgc
https://softoption.us/test/Deriver/PredExCopi/PredExCopi14.lgc
https://softoption.us/test/Deriver/PredExCopi/PredExCopi15.html
Easy Deriver [Sentential and Predicate Logic—Gentzen Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'gentzen'.]
Your easiest way to open one of these is to copy (i.e. don't click on it) the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu.
https://softoption.us/test/Deriver/PropExGentzen/PropEx1.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx2.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx3.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx4.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx5.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx6.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx7.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx8.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx9.html
https://softoption.us/test/Deriver/PropExGentzen/PropEx10.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx1.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx2.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx3.lgc
https://softoption.us/test/Deriver/PredExGentzen/PredEx4.lgc
https://softoption.us/test/Deriver/PredExGentzen/PredEx5.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx6.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx7.lgc
https://softoption.us/test/Deriver/PredExGentzen/PredEx8.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx9.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx10.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx11.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx12.html
https://softoption.us/test/Deriver/PredExGentzen/PredEx13.lgc
https://softoption.us/test/Deriver/PredExGentzen/PredEx14.lgc
https://softoption.us/test/Deriver/PredExGentzen/PredEx15.html
Easy Deriver [Sentential and Predicate Logic—Hausman Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'hausman'.]
https://softoption.us/test/Deriver/PropExHausman/PropExHausman1.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman2.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman3.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman4.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman5.html
https://softoption.us/test/Deriver/PropExHausmani/PropExHausman6.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman7.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman8.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman9.html
https://softoption.us/test/Deriver/PropExHausman/PropExHausman10.html
Easy Deriver [Sentential and Predicate Logic—Herrick Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'herrick'.]
Henken-Hintikka Endorse-Deny Game [Default Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'default'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/Deriver/ExHintikka/Exercise1NoQuantifiers.lgc
https://softoption.us/test/Deriver/ExHintikka/Exercise2SingleQuantifier.lgc
https://softoption.us/test/Deriver/ExHintikka/Exercise3TwoQuantifiers.lgc
https://softoption.us/test/Deriver/ExHintikka/Exercise4Identity.lgc
L,P&L Trees [Tarski's World— Barwise Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'barwise'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/Deriver/barwise/Tutorial1BarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial1bBarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial2BarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial3aBarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial3bBarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial3cBarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial4BarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial5BarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial6BarwiseE.html
https://softoption.us/test/Deriver/barwise/Tutorial7BarwiseE.html
If you then create partial trees that you wish to save, Save the files As .lgc (html will not save trees or proofs in that format).
Modal Logic [Girle Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'girle'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/Deriver/girle/BarcanGirleE.html
https://softoption.us/test/Deriver/girle/EpistemicGirleE.html
https://softoption.us/test/Deriver/girle/ModalKGirleE.html
https://softoption.us/test/Deriver/girle/ModalPredS5GirleE.html
https://softoption.us/test/Deriver/girle/ModalRollYourOwnGirleE.html
https://softoption.us/test/Deriver/girle/ModalS5GirleE.html
https://softoption.us/test/Deriver/girle/ModalS5IdentityGirleE.html
https://softoption.us/test/Deriver/girle/ModalTGirleE.html
If you then create partial trees that you wish to save, Save the files As .lgc (html will not save trees or proofs in that format).
The Return of Rationality [Stegeman Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'stegeman'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/Deriver/stegeman/StegemanAllE.html
If you then create partial proofs that you wish to save, Save the files As .lgc (html will not save trees or proofs in that format).
Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Default Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'default'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/treesStandAlone/CombinedTutorialsDefault.html
If you then create partial trees that you wish to save, Save the files As .lgc (html will not save trees or proofs in that format).
Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Gentzen Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'gentzen'.]
Tree Tutorials [Propositional, Predicate, Identity, and Modal Logic Trees—Howson Syntax]
[Check in the Settings of your Deriver app that the parser is set to 'howson'.]
Your easiest way to open one of these is to copy the plain text of the relevant link from below, then use the link in Deriver to 'Open from URL ...' off the Deriver's File menu:
https://softoption.us/test/treesStandAlone/howson/CombinedTutorialsHowson.html
If you then create partial trees that you wish to save, Save the files As .lgc (html will not save trees or proofs in that format).