MATH 330 Symbolic Logic
A study of modern formal logic, including bothsentential logic and predicate logic. This coursewill improve students' abilities to reasoneffectively. Includes a review of topics such asproof, validity, and the structure of deductivereasoning.