Modal Trees Roll Yours Own

12/14/20

Roll your own

If you can see this, your browser does not understand IFRAME.

If you decide to use the web application for the exercises you can launch it from here Deriver [default] — username 'logic' password 'logic'. Then either copy and paste or type formulas into the Journal. Then select the desired formula(s) and Start Tree off the Actions Menu.

Preferences

You will need to set some Preferences for this.

set identity to true (and that will give you the identity rules)
set modal to true (to get modal)
and you can check that the parser is set to default.