CSSE 490: Logic: Day 10

Topics

• Tautologies and quantification
• First-order validity and consequence

Materials

• Slides

Assignments

• Day 11: Read sections 10.3 - 10.5, and 11.1
• Day 12: Complete exercises ...