Symbolic Logic

Catalog description

This course covers the essential elements of symbolic logic, including categorical, sentential, and predicate logic, both translations and proofs. This course will introduce and develop the symbolic nature of propositional and predicate logic, as well as examine such things as validity and soundness, truth tables, rules of deductive inference and replacement, formal axiomatic systems, relations, alternative notations and proof techniques.