CSSE 490: Logic: Day 24

Topics

• Truth
• FO Consequence
• Soundness for FOL

Materials

• Slides

Homework

• Day 25, BC: Read section 19.0, 19.1. 19.2, 19.3, 19.4(beginning)
• Day 29, BC: Complete 18.8(1,2,3,5,6) 18.11, 18.12, 18.14, 18.15, 18.16