Clickable map  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

 © 2006-2013


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.