The syllabus has a calendar of what is planned for each day; below we record what we actually cover each day.

- 8/29 – Today we went over the syllabus in some detail, be sure to read it on your own. We then spent a little bit of time discussing how we know things are true or false by looking at this activity – openner.The quiz next class will be on the syllabus. After the quiz we will work through chapter 1.
- 9/1 – Today we looked at a bunch of notation from chapter 1 in your text, hopefully much of this was review. Be sure to look through chapter 1. The quiz next Thursday will be on the notation covered in class:
- Set Roster and Set Builder notation
- \(\mathbb{N},\mathbb{Z},\mathbb{Q},\mathbb{R},\mathbb{C}\)
- Power sets, \(\mathcal{P}(A)\)
- Cross Products/Cartesian Products, \(A\times B\)
- Relations and Functions
- Graphs: vertex, edge, degree, bipartite, directed, etc.

- 9/8 – Today we reviewed material from sections 2.1 and 2.2. We discussed statements, predicates, negation (\(\sim\)), binary operators (\(\vee,\wedge,\oplus\)), conditional statements (\(p\rightarrow q\)), converse (\(q\rightarrow p\)), inverse (\(\sim p\rightarrow \sim q\)), contrapositive (\(\sim q\rightarrow \sim p\)), negation (\(p\wedge \sim q\)), and truth tables. Review your notes along with sections 2.1 and 2.2 for the quiz Monday.
- 9/12 – Today we looked at section 2.3, briefly discussing valid and invalid logical arguments including: Elimination, Modus Ponens (
*“method of affirming”*), Modus Tollens (*“method of denying”*), Converse Error, Inverse Error, and False Elimination. Study your notes and look at section 2.3 ahead of the quiz on Thursday. - 9/15 – Today, we looked at material from section 2.4 on circuits, specifically we worked through the example in this handout. We then started discussing Predicates, e.g. \(P(x):x^2>0\), Universal Statements, \[\forall x\in\mathbb{N}:P(x),\] and Existential Statements, \[\exists x\in\mathbb{R}:\sim P(x).\] This material is from section 3.1 and 3.2. For the quiz Monday be sure to skim through the material in section 2.4, 3.1, and 3.2, as well as reviewing your notes.
- 9/19 – Today we looked at Tarski’s World (handout) and played around with quantified statements. Next time we will look at arguments with quantified statements and spend a little time answering questions ahead of the exam on Monday 9/26. For the quiz on Thursday be sure to review your notes and look through sections 3.1 through 3.3.
- 9/22 – Today we looked at material from section 3.4 on making arguments with predicates and quantifiers. Then we answered general questions about the content in this unit since the exam is on Monday. We will pick up with new material next Thursday.
- 9/26 – Today you took the first exam. Since we had an exam today, there is no quiz on Thursday. When I hand the exams back on Thursday each exam will have a list of questions for you to redo:
- The redos must be typed up neatly in
just like assignments.*complete sentence* - As it states on the Syllabus, the redos can earn you back up to 33% of the points you lost.
- The redos will be
.*due on Thursday October 6th*

- The redos must be typed up neatly in
- …

All assignment submissions must be typed and in complete sentences. Proper submission formatting may count for up to 10% of the assignment grade.

- Assignment 1 Due 9/29/2022
- Section 2.4 (p.91) – 28, 31
- Section 3,4 (p.156) – 27, 32, 34

- Assignment 2 Due 10/31/2022
- Section 4.9 (p,242) – 15
- Section 4.10 (p,255) – 23
- Section 5.3 (p,297) – 36
- Section 5.9 (p,374) – 17, 20b

- Assignment 3 Due 12/5/2022
- Section 10.1 (p.693) – 42
- Section 10.2 (p.710) – 19
- Section 10.4 (p.731) – 29
- Section 10.5 (p.741) – 3
- Section 10.6 (p.757) – 19 (use 18)

- Extra Credit – Writing Math Assignment (+2% on Final Grade) Due before 12/12 at 4pm

- 9/26/2022 Exam 1 – Review Exam on chapter 1, sections 2.1-2.4, and sections 3.1-3.4
- 10/27/2022 Exam 2 – Proofs Exam on sections 4.1, 4.4, 4.5, 4.7-4.10, 5.2-5.4, and 5.7-5.9
- 12/1/2022 Exam 3 – Graphs Exam on sections 1.4, 10.1-10.6
- 12/12/2022 Final Exam (@ 11am during final exam week) – Comprehensive exam of all previous material and extra credit from sections 11.1, 11.2, 12.1, and 12.2