Propositional Exercises: Roll your own

Logical System
default
8/12/26

You can try material of your own below.

Here are a few hints

  • You have to use the right (unicode/html) logical symbols. Check Writing symbols
  • The symbols in use here are ~ & ∨ →  ≡ (so copy and paste or drag and drop these).
  • When entering from a selection, the software will take a single formula (say, A) or a comma separated list of formulas (say, A,B,C) or a possibly empty comma separated list of formulas followed by ∴ and another formula (say, A,B,C ∴ D). In the last case it will load the negation of the conclusion.
  • Just type, cut and paste, or drag and drop, whatever you wish, into the lower text box. Then make a selection and hit the Start button.

Exercise: Roll your own

Should you wish to use that,you might want to glance at Deriver in a web page Then you can launch Deriver from here Deriver20 [Default Parser].

Good advice is: start these tutorials without out it, but if you get to the point of wishing to save some work, then switch to the Deriver Web Application.

Then... either type or copy and paste desired formulas into the Journal or use the Deriver File Menu to Open from URL with this address https://softoption.us/test/treesStandAlone/CombinedTutorialsDefault.html . Then select the desired formula(s) and Start Tree off the Actions Menu.