| Course: | LPS/Phil 30 |
| Name: | Introduction to Symbolic Logic |
| Description: | This course is an introduction to formal logic.
Students will learn to use formal languages for propositional and
quantificational logic to represent the logical structure of arguments
expressed in English. They will also learn how to evaluate
arguments using truth tables and truth trees. |