Syllabus (pdf)

What Follows
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Solutions

Class Notes

Handouts and Assignments

Readings

Links

Handouts and Assignments

 

Rules Summary (new: Biconditional Rules)

Paper Assignment

Course Bibliography

 

HW Schedule

Preparation for Test #1

Preparation for Test #2 (Practice Proofs from class)

Preparation for Test #3 (Practice Proofs from class)

Test #3 - Extra Credit

Translation from Predicate Logic (Solutions)

Preparation for Test #4

Preparation for Test #5

Preparation for Test #6

Practice Problems for Test #6 (Solutions)