This is the homepage for PL2014-Symbolic Logic, Spring 2009, Polytechnic University.  Choose from the selection below.  This page will be updated periodically.

• Syllabus

• Assignments
• hw#1 (due 1/29)
  
• hw#2 (due 2/5)
  
• hw#3 (due 2/12)
• hw#4 (due 2/19)
• hw#5 (due 2/26)
• hw#6 (due 3/12)
• hw #7 (due 3/26)
• hw #8 (due 4/2)
• hw #9 (due 4/16)
• hw #10 (due 4/26)

• Handouts
• Rules for PLC trees
• QL Semantics
• Rules for QL trees