CSSE 490: Logic: Day 2

Topics

• Atomic Sentences
• General first-order languages
• Function symbols
• The first-order language of set theory
• The first-order language of arithmetic

Materials

• Slides

Assignments

• Read sections 2.0 - 2.3
• Complete assignments 1.15, 1.16, 1.17 and 1.18 by day 3, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.