PHI 218 Symbolic Logic

Prerequisite: Completion or waiver of MAT 012

A study of deductive systems, including sentential and predicate logic. Attention to syntax, semantics, and derivations in formal languages. Practical Reasoning (PR).