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
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.