This is, for the most part, a standard introduction to logic textbook. You're completely welcome to use it for a course if you'd like. I try to make everything as clear, simple, and intuitive as possible while not sacrificing rigor.

While most everything in this book is standard, there are two notable things. First are the rules for the quantifiers, drawn from Kit Fine's

*Arbitrary Objects*and adapted to be suitable for an introductory course, which contain both an universal generalization rule and an existential instantiation rule. Second, the final chapter contains a complete presentation of the paraconsistent logic LP, pitched at a completely introductory level. These two things (chapters 9 and 11) might be interesting to you even if you're not the book's intended audience.

I will be updating it soon with practice problems for each chapters, with answers in the back. Perhaps I will add an additional part with alternative proof systems at some point, but that won't be for a bit.

If you're using the book for self-study or you're an instructor, you can email me for the answers to the exercises at the end of each chapter.

The pdf is completely free. I'll be posting a link to purchase a hardcopy (at just the cost of printing) shortly, once I correct all the typos and add the practice problems and answers.