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.

Credits

1 Course Credit