The complete answers to exercises is included in the answers version for instructors (including “hard-core” exercises later in the text). With this, it is easy for me to move answers in or out of the Selected Answers. Short of including them all, if you think some answer(s) should or should not be included among the Selected Answers, let me know. T.R.

This is a location for discussion of Symbolic Logic. Comments may range from general review and evaluation of the text, to details of presentation. We can discuss substantive questions about logic too. You may submit a post of your own or add comments to another. If you require special symbols, \LaTeX code may be inserted between the markers [latex] . . . [/latex] — to start with this, see LaTeX Typing (you see the compiled result only when posted).