Math 3361, Introduction to Mathematical LogicFall 2004 Peter Selinger

### Course Information

 See the Course Information Sheet.

### Announcements

 Marked Homeworks (posted Dec.15). Homeworks #4-6 have now been marked and are available for pickup from the envelope on my office door (205 KED). Final Exam. Our final exam has now been officially rescheduled for December 20, 2004 at 9:30 am in room ART026. Office Hours. (There will be no office hours on Dec. 13). Older announcements are here.

### Topics covered

 Click here to see a running list of topics covered in class.

### Assignments

 Problem Set 1. (Due Tuesday, Oct. 5.) Handout 1, Problems 1-4, 10, 20, 30, 50. Answers: [dvi, ps, pdf] Problem Set 2. (Due Thursday, Oct. 14.) From Handout 1: using Prawitz style natural deduction: 11, 21, 31, 41, 51; using analytic tableaux: 12, 22, 32, 42, 52. Answers: [dvi, ps, pdf] Problem Set 3. (Due Thursday, Oct. 28.) Van Dalen p.47 #1-7. Problem Set 4. (Due Tuesday, Nov. 16.) Van Dalen 2.2 #1, 2.4 #1,4,5, and prove that every formula is logically equivalent to a formula in prenex form. Problem Set 5. (Due Tuesday, Nov. 30.) Handout 2, #1(rst) (natural deduction), #2(x) (natural deduction), #1(jr) (tableaux), #3(jl). Problem Set 6. (Due Thursday, Dec. 2.) 3.2 #1 (i)-(iii), #7, #8.

### Handouts

 Handout 1 (Sept. 24): Rules of Fitch-style natural deduction. [ps, pdf] Lecture Notes 1 (Oct 14): Analytic Tableaux, p.1-4. [dvi, ps, pdf] Lecture Notes 2 (Oct 19): Analytic Tableaux, p.5-8. [dvi, ps, pdf] Midterm Answers (Oct 28) [dvi, ps, pdf] Handout 2 (Nov. 11): Quantifier Problems [ps, pdf]

To Peter Selinger's Homepage:
Peter Selinger / Department of Mathematics and Statistics / Dalhousie University
selinger@mathstat.dal.ca / PGP key