Symbolic Logic credit:

3 Hours

Introduction to the techniques of formal logic, dealing primarily with truth-functional logic and quantification theory. This course satisfies the General Education Criteria for: Quantitative Reasoning I