Logic Tools
This page links to web tools you can use to do practice work for PHL 195/106: Introduction to Deductive Logic. These tools were designed by Colin Allen and Chris Menzel and are used here with their permission. These tools are meant to be used along with the text book, Logic Primer, by Colin Allen and Michael Hand, and the online course materials available through Blackboard.
Textbook

3rd edition of Logic Primer by Colin Allen and Michael Hand
now available from the MIT Press.  About the 3rd edition [from the Preface]
 A list of errata in the 3rd edition is maintained at the TAMU site.
Interactive Software
Note: the 3rd edition site is still in "beta". Please let us know if something is broken.
The Logic Machine, originally developed and hosted at Texas A&M University, provides interactive logic software used for teaching introductory formal logic. The Daemon Proof Checker checks proofs and can provide hints for students attempting to construct proofs in a natural deduction system for sentential (propositional) and firstorder predicate (quantifier) logic. The Quizmaster provides a variety of exercises, from questions about basic concepts such as validity, to wff construction and translation, to proofs, truth tables, and countermodels. The system and exercises are based on Logic Primer (MIT Press, 2000) but the exercises are also suitable for use with other texts, such as E.J. Lemmon's Beginning Logic.