Create new exercises linked to your choice of textbook
From the main page click on ‘ ALL EXERCISE SETS’ to list courses.
Near the top of the page there is a plus icon add_circle_outline. Click this icon to create a new course.
Creating a course takes you directly to the course page. Click the plus icon add_circle_outline to create a new exercise set.
Creating an exercise set takes you directly to the page for that exercise set. On this page, a black pencil ( mode_edit ) marks text you can edit directly. A blue pencil ( mode_edit ) is a link you can click to change something. Click the blue pencil ( mode_edit ) by ‘Dialect’ to select the first-order language and rules of proof that most of your exercises will use. (If you aren’t sure what to choose)
An exercise set is a list of ‘lectures’ (or ‘problem sheets’ or whatever you want to call them). Click the plus icon add_circle_outline to create a new lecture. A new lecture called ‘New Lecture’ will appear in the list of lectures.
Click on the link New Lecture to go to the page where you can edit it. Rename the lecture by replacing ‘New Lecture’ with ‘Problem Set 01’ (or whatever you like).
A lecture is a list of ‘units’ (or whatever you want to call them). Click the plus icon add_circle_outline to create a new unit. A new unit called ‘New Unit’ will appear in the list of units.
Click on the link New Unit to to go to the page for adding some exercises. Now click the plus icon add_circle_outline to create a new exercise. There are many types of exercise you can create; try creating a proof exercise to start with.
When typing sentences (or wffs) for the premise and conclusion of an exercise, write in the language of the dialact you chose above. To save time you can use words in place of symbols; e.g. when using dialect ‘lpl’ the FOL sentence ‘∀x (¬F(x) ∨ G(x))’ can be written ‘all x (not F(x) or G(x))’. Likewise, when using dialect ‘teller’, the sentence could be written ‘(all x) (not Fx or Gx)’
If you see ‘cannot save exercise because there are errors in your input’, you probably make a mistake typing a sentence (or wff) in a first-order language.