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