Introductory Symbolic Logic

Fall 2002 Semester

Course Information [Syllabus]

Text for the Course [Logic Primer]

Logic Primer Study Aids [Daemon Proofchecker, Quizmaster]

Notes about Daemon Proofchecker [Note-1, Note-2]

Links are to be added as the course progresses:

Graded Homework Assignments [HW1, HW2, HW3, HW4, HW5, HW6]

Ungraded Homework Assignments [UHW1, UHW2, UHW3, UHW4, UHW5, UHW6]

Review Sets [RS1, RS2, RS3]

Other Handouts [Invalidity, Translations]