- LOGIC PRIMER
- TEXTBOOK NEWS: The 3rd edition of
*Logic Primer*will be out from MIT Press in early 2022!

From the preface: About the 3rd edition

- Daemon Proof Checker
- Quizmaster
- Countermodel Checker
- Wff Checker
- Equivalency Checker
- [Mirror at University of Alabama]

Look for 3rd eidtion updates in late 2021

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
first-order 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*.