This is a location for discussion of Symbolic Logic. Comments may range from general assessment 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).