Logic - Wed March 12
We worked through some more truth tree problems, and discussed how to use truth trees to check:
- whether an argument is valid
- whether a sentence is a tautology, contradiction, or contingent
- whether a set of sentences is consistent
Quiz #5 was given at the end of class.
Reading for Fri: finish Chapter 6