CSSE 490: Logic: Week 1

Day Topics Readings/Assignments
Day 3

First-order language of set theory. Presentation by Andy Spencer
First-order language of arithmetic. Presentation by Josh Burbrink
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
Read chapter 3
Complete assignments 2.3, 2.4, and 2.7 by Tuesday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 4

Boolean Connectives
The syntax and semantics of predicate logic so far.
Read chapter 4
Complete assignments 3.24 and 3.25 by Thursday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 5

The Logic of Boolean Connectives
Important concepts in logic
Read chapter 5 and sections 6.0, 6.1, 6.2
Complete assignments 4.41, 4,42 and 4.43 by Friday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 6

Proof by cases
Proof by contradiction
Arguments from inconsistent premis
Rules of inference for formal proofs:

Conjunction introduction
Conjunction elimination
Disjunction introduction
Disjunction elimination

Read the remainder of chaper 6 and chapter 7.

Day	Topics	Readings/Assignments
Day 3	First-order language of set theory. Presentation by Andy Spencer First-order language of arithmetic. Presentation by Josh Burbrink 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	Read chapter 3 Complete assignments 2.3, 2.4, and 2.7 by Tuesday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 4	Boolean Connectives The syntax and semantics of predicate logic so far.	Read chapter 4 Complete assignments 3.24 and 3.25 by Thursday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 5	The Logic of Boolean Connectives Important concepts in logic	Read chapter 5 and sections 6.0, 6.1, 6.2 Complete assignments 4.41, 4,42 and 4.43 by Friday, BC. Eiher submit them to the appropriate drop box on Angel or submit a paper copy.
Day 6	Proof by cases Proof by contradiction Arguments from inconsistent premis Rules of inference for formal proofs: Conjunction introduction Conjunction elimination Disjunction introduction Disjunction elimination	Read the remainder of chaper 6 and chapter 7.