Symbolic Logic

Catalog description

Systematic study of symbolic logic beginning with truth-functional analy- sis and proceeding through the two most prevalent formal languages, sentential and predicate calculus. Direct, indirect, and conditional meth- ods of derivation are covered, as are techniques for converting natural language into logical symbols. Mathematical induction is covered if time permits.