Exercises, maybe most of them

10/8/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). 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.

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 that format).

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.

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.

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

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

If you prefer to download the relevant file to your computer (perhaps for offline use), just click on the relevant link:

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.

If you are comfortable downloading zipped folders, you can download the zipped folders 10 Propositional Exercises (Gentzen syntax) or 15 Predicate Exercises (Gentzen 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.

https://softoption.us/test/Deriver/gentzen/ProofGentzen5E.html

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

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

Steven A. Stegeman, The Return of Rationality

[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