Logic and Proof for Teachers

Logic and Proof for Teachers (LPT) is an open source textbook designed to teach logic and proof to middle and high school teachers. This textbook is a work in progress by Lesa L. Beverly, Kimberly M. Childs, Thomas W. Judson, and Deborah A. Pace.

This textbook is licensed with a GNU Free Documentation License (GFDL). There is no cost to acquire this text, and you are under no obligation whatsoever to compensate or donate to the authors or publisher—for all intents and purposed Logic and Proof for Teachers is a free textbook. You make as many copies as you like, ensuring that the book will never go out-of-print. You may modify copies of the book for your own use—for example, you may wish to change to a prefered notation for certain objects or add a few new sections. There is a copyright on the book, and subsequently it is licensed with a GNU Free Documentation License (GFDL), allowing the author to give you greater freedoms in how you use the text. The main caveat is that if you make modifications and then distribute a modified version, you are required to again apply the GFDL license to the result so that others may benefit from your modifications.

Logic and Proof for Teachers is still in development. The authors welcome comments and corrections.

We recommend the online version. The PreTeXt source code for the most up-to-date version of the LPT can be found at https://github.com/twjudson/lpt.git.

Other Open Source Textbooks, Software, and Resources