PL 160 Introduction to Logic 4 cr. An introduction to the basic principles of traditional and formal logic. Topics covered include the nature of validity and proof, theory of the syllogism, propositional logic and quantification theory.