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. Meets GOAL 4. Offered as appropriate.

Course Registration