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.
Letter Grade Only
Lecture hours/semester: 48-54
Homework hours/semester: 96-108
Recommended: Eligibility for ENGL 100 or ENGL 105.