Symbolic Logic

Catalog description

This course offers a presentation of deductive logic focused on propositional logic, natural deduction and predicate logic. Symbolic Logic develops in greater detail the principles of deductive logic covered in PHIL 1150. This course meets elective requirements in the Associate of Arts and Associate of Science Degree programs and distributive transfer requirements in philosophy, humanities, and in some cases, mathematics and sciences. Check with academic advisor.