The Logic Machine: Logic Software at Texas A&M University

CLICK ON IMAGE MAP OR USE LINKS BELOW
| LOGIC PRIMER
| Daemon Proof Checker
| Quizmaster
| Countermodel Checker
| Wff Checker
| Equivalency Checker

| Colin Allen
| Chris Menzel
| Texas A&M Philosophy Department

The Logic Machine at Texas A&M University hosts 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.