Handouts
HW Handouts
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