Talk:Formal Logic

Symbols
Right so I'm a complete n00b to all of this, but is there a reason for choosing the specific symbol set used here? In the (1) logic course I've taken and in every math course, for example, we've used a tilde for the negation. If perhaps it is my inexperience in this area that makes this symbol set appear foreign, should there not still be some explanation since the text is meant to educate beginners and not experts? Please comment soon on this; I'm very interested to know. N Vale 01:51, 3 January 2006 (UTC)


 * The negation is due to a TeX limitation. I could not get the tilde to display correctly in math mode.  In the following examples, the "\,\!" at the end of the math mode forces the display to use TeX.
 * $$~P\,\!$$ displays as $$~P\,\!$$
 * $$\mathrm{~P}\,\!$$ displays as $$\mathrm{~P}\,\!$$
 * $$\mbox{~P}\,\!$$ displays as $$\mbox{~P}\,\!$$
 * $$\tilde\mathrm{P}\,\!$$ displays as $$\tilde\mathrm{P}\,\!$$
 * Except for the tilde, I used the Tarski set which has caught on quite well with textbook authors. They are today probably more common than the Russell/Whitehead set more often seen in Wikimedia.  (Note, the Tarski quantifiers are almost never used and I used the standard quantifiers.)  For any choice I could have made for the sentential connectives, many readers would have find them unfamiliar or at least not their favorites.  Symbol choice for sentential connectives is just not well enough standardized to avoid that problem.  --JMRyan 20:28, 3 January 2006 (UTC)

I don't know who wrote this. But you're saving my arse. Cheers.

Of course, $$\sim P$$ displays as $$\sim P$$, but as the TeX code indicates I think it is meant to be the similarity symbol. (Or not.) Russell208 (discuss • contribs) 07:27, 20 January 2012 (UTC)

PDF

 * I put the wikipages for this book together as a Wikibooks Collection at: .  However, I get an error message whenever I try to download the wikibook as a single-file PDF document.  If someone can make a single-file PDF version of this wikibook (or a single-wikipage version that can be printed as PDF from a browser), it would be appreciated, thanks!  Nicole Sharp (discuss • contribs) 07:46, 19 May 2017 (UTC)
 * PDF version has been compiled and linked to the main page of the book. Greeting from the cowshed. Yours --Dirk Hünniger (discuss • contribs) 14:11, 21 May 2017 (UTC) (Rinderpfleger a. D. )
 * Thank you! The PDF generator still produces errors, but I was able to print to PDF from Chrome using the single-wikipage version.  Nicole Sharp (discuss • contribs) 21:58, 30 May 2017 (UTC)