PHIL 250 - Symbolic Logic

(3 S.H.)

An examination of methods for putting ordinary deductive reasoning into symbols in order to test its validity. Topics include ways to translate English into symbols, uses of truth tables, rules for deduction in propositional and predicate logic, models for showing invalidity, and strategies for constructing proofs. Offered at department discretion.

Course Registration