This course is designed to introduce students to formal languages and to the relation between logic and language. Topics covered include symbolization, validity, soundness, truth-tables, truth-connectives, formal proof, sentential logic, quantifiers, and predicate logic.
- Credits: 3
- Offered: Annually