CSSE 490: Logic: Day 11

Topics

• First-order equivalence and DeMorgan's laws
• Other quantifier equivalences
• The axiomatic method

Materials

• Slides
• Slides 2

Assignments

• Day 12: Read sections 11.2 - 11.8
• Day 13: Complete exercises 7.15 (3,4,5,6,7), 7.16, 7.17, 9.11, 9.14, 9.16(5,6,7), 9.17(5,6,7), 9.19(5,6,7), 9.20, 9.21(1-5)