This is a location for discussion of Symbolic Logic. Comments may range from general assessment, to details of content. If you have questions from the text, we can talk about logic too. Submissions are moderated just for relevance, not substance. You may either submit a post of your own or add comments to another. If you require special symbols, \LaTeX code may be inserted by [latex] . . . [/latex] — to start with this, see LaTeX Typing (you see the compiled result only when posted).