The University of Alabama

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.


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 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.

by Colin Allen and Chris Menzel 2006-2023 ©