Symbolic Logic

An introduction to modern symbolic logic, focusing on translation, semantics and syntax for propositional and predicate logic. You will learn to translate natural language into the language of logic and vice versa, and study key concepts such as validity, consistency, proof, soundness and completeness.