Symbolic Logic

3 ch (3C) · Undergraduate

An introductory course in formal reasoning, covering propositional and predicate logic, including connectives, quantifiers, truth tables, and proofs. Students learn to symbolize arguments, evaluate validity, and identify fallacies, with applications to philosophy, computer science, and critical thinking.