Additional Content
Unless otherwise indicated, a grade of C or higher is required for all prerequisite courses.
This course introduces some principles of valid reasoning with emphasis on proof systems for propositional and predicate logic. Includes translation of English sentences into a symbolic language, patterns and techniques of deductive and inductive inference, and basic probability theory.