Elementary Formal Logic
Explores the fundamentals of good reasoning by means of symbolic techniques in both propositional and predicate logic. Students will learn to translate English sentences into logical notation, as well as how to use truth tables and derivations to demonstrate the validity of arguments.
- Designed as a first course in logic for students with little or no symbolic orientation. May be taken before or after PHIL 201.