Make Text Bigger Make Text Smaller Reset Text Size
Home arrow Logician's Toolkit
Logician's Toolkit

The Logician's Toolkit is a collection of web-based utilities for introductory logic courses. Utilities are provided for:

  • Detecting syntax errors of various kinds in both sentential and predicate logic.
  • Constructing derivations in both sentential and predicate logic.
  • Generating truth tables for sentences in sentential logic.
  • Testing consistency of sets of sentences in sentential logic.

These utilities are based on the syntax and derivation system of The Logic Book by Bergmann, Moor, and Nelson, published by McGraw-Hill.