An introduction to formal deductive logic, covering propositional logic (truth-functional logic) and first-order predicate logic (quantification theory). Typical topics covered include: techniques of symbolization, truth tables, validity and soundness, and techniques of natural deduction. Symbolic notation is used extensively. Does not require 1341 as a prerequisite.
Approaches to Creation and Analysis