CSSE 490: Logic: Day 3

Topics

• Arguments, premises and conclusions
• Logical consequence, or logically valid arguments
• Non valid arguments
• Sound arguments
• The role of logic
• Proofs
• Demand for rigor
• Formal vs informal vs rigorous proofs
• Nonconsequence proofs, counterexamples
• Fitch style proofs

Materials

• slides

Assignments

• Read chapters 3 and 4
• Complete assignments 2.3, 2.4, 2.5, 2.6, 2.7, 2.17, 2.18, 2.21, 2.24, and 2.25 by Wednesday, Sep. 9, 5pm. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.