| Course: | LPS 30; PHIL 30 |
| Name: | Introduction to Symbolic Logic |
| Description: | This is an introduction to the symbolism and methods of the logic
of statements, including evaluation of arguments by truth tables, the
techniques of natural deduction, and semantic tableaux.
TEXTBOOK: Ermanno Bencivenga, Karel Lambert, & Bas C. van Fraassen: |