Considers the principles and techniques of modern logic. The development of standard notation and techniques used in determining validity and invalidity of arguments. The study of basic logical concepts and truth functions to develop quantification theory and proof of “natural deduction.” Offered Spring only. LA H3 Prerequisite(s):SoS.
