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).