Covers classes 1-5. LPL ch 2 sec 2.1, sec 2.5, ch 4 sec 4.1, sec 4.3, ch 10 sec 10.5. Material on truth-trees distributed. LPL ch 10 sec 10.2, sec 10.5, ch 12 sec 12.5, ch 18 sec 18.4. Material on truth-trees distributed.
Natural deduction proofs with truth-functional sentential operators.
Search, automated natural deduction proof construction. Material to be distributed on search. Search, automated natural deduction proof construction. Material to be distributed on search. Normal forms, clausal form.