Exercises for Easy Deriver using the Deriver Web Application

Logical System
12/14/20

The Deriver Application can run in a web page, without needing any installation. This means that Deriver can run on any computer that can run a web browser (i.e. pretty much any computer). The Application has several useful features. It can save, and re-open, partially or entirely completed work.  New exercises, or examinations, can be written by an instructor and opened by students. There is printing. It can run a variety of logical systems, from different versions of propositional and predicate calculus, to trees, modal logic, set theory, lambda calculus etc.

Deriver will ask you for a User name and password, which are 'logic' and 'logic' . When it launches it will take about 10 seconds to display a splash-screen, then another 15 seconds before Deriver itself appears.

It will appear as a 'window' (or 'browser') within a web page. Sometimes it is more convenient for Deriver to fill that web page (to make it is large as it can be, and to make re-sizing easier). Other times it is more convenient not to do this (when, for example, you are going to have two or more instances of Deriver open and be editing backwards are forwards between them). You can fill or not fill the web page by clicking the relevant icons on the title bar of Deriver (it is just like going full screen or not full screen on an ordinary desktop application). If you expand Deriver, it will give you more space to work with, but it will not change any font sizes. If you would like the fonts to be larger or smaller just Zoom in or out off your web browser's View menu.

To go further, please go to Fast Start on the Application (for Instructors)

To try some exercises as examples, you have choices.

• you can download the zipped folders 10 Propositional Exercises (Bergmann syntax) or 15 Predicate Exercises (Bergmann syntax) Expand the compressed folders. Then open individual logic files in Deriver using 'Open Logic File' off the File menu.