Introduction to Symbolic Logic

Catalog description

This course is an introduction to symbolic logic, focusing on sentential and predicate logic. Following a general introduction to formal logic, the course focuses on the translation of natural language into the symbolic languages of sentential logic and predicate logic, and the construction of derivations (proofs) in sentential and predicate logic.