MATH 27500

Download as PDF

MATH 27500 - Symbolic Logic (3 cr)

Mathematics and StatisticsARTSC - School of Arts and Sciences

Course Title

Symbolic Logic

Catalog Description

Sentential logic including symbolizations, truth-value tables, and formal derivations. Predicate logic including symbolizations, interpretations, and formal derivations.

Course Attributes

COPT - COPT (College Option)

Minimum

3

Max

3

Academic Progress Units

3

Repeat For Credit

No

Requirement Designation

Regular Liberal Arts

Prerequisites & Corequisites

015668

Lecture