Symbolic logic and decision procedures

Symbolic logic replaces ambiguous words with precise symbols, and decision procedures then test arguments mechanically. For example, a truth table can show in eight rows whether an argument with three variables is valid. This chapter covers truth tables, Venn diagrams, fallacies, proof, and the limits of axiomatic systems.