Modal Trees Roll Yours Own


Roll your own



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.


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.