This is a location for discussion of Symbolic Logic. Comments may range from general assessment to details of presentation. We can talk about logic too. Submissions are moderated quickly (within a day), mainly to weed out spam. 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).