PHI 218 Symbolic Logic
Prerequisite: Completion or waiver of MAT 012
Offered: Typically alternate years (next offered 2013-2014)
A study of deductive systems, including sentential and predicate logic. Attention to syntax, semantics, and derivations in formal languages. Practical Reasoning (PR). 1 Course Credit
Credits
1 Course Credit