Syllabus

Class Notes

Handouts

Assignments

Homework Solutions

Readings

Links

Homework Solutions

Section 1.1

Section 1.2

Section 1.4

Chapter 6

Section 7.1

Section 7.2

Section 7.3

Section 7.4

Section 7.5

Section 7.6

Section 7.7

Section 8.1

Section 8.2

Section 8.3

Section 8.4

Section 8.5

Section 8.6

Section 8. 7

Homework Handout #1: Translating from Propositional Logic

Homework Handout #2: Rules of Implication

Homework Handout #3: Practice Problems for Test #3

Homework Handout #4: Translating from Predicate Logic

Some Practice Problems for Test #5

Homework Handout #5: Translating from Relations

Homework Handout #6: Functions

Homework Handout #7: Second-Order Quantifiers

Some Practice Problems for Test #6 (The Final)