Introduction to Symbolic Logic

3 credit hours · Undergraduate

This course introduces the fundamentals of symbolic logic. Both the propositional and predicate calculus are covered as well as various standard proof techniques.