PHIL 120 - Symbolic Logic

3 Credit(s)

This course is a rigorous examination of the theory and methods of symbolic logic. Students do problems and proofs in both sentential logic and first-order predicate logic, using truth tables, logic trees, and INT/ELIM systems of natural deduction. Special emphasis is placed on developing skills in translating sentences from natural language into symbolic notation. This course is especially useful for majors in computer science, mathematics, engineering, and any discipline in which knowledge of formal systems is important.