Exercise machine 1 (for derivations)

The following is a link to the exercise machine without any special settings:

You can specify a limited set of rules by using the menu at the left that initially shows the setting “any rules.” These settings are labeled by sections from the text. (See below for the corresponding sets of rules.) The machine will focus on rules for the most recently introduced kind of logical form, but you can choose a different setting from the menu just below that for setting rules. The setting of the latter control that corresponds to “any rules” is a “uniform focus,” and this can be chosen also for any of the restricted sets of rules.

Below are direct links to the exercise machine set for a variety of sections from the text. The sets of rules are indicated following the link. An exercise machine for one of the sections marked * will generate only valid arguments.