# Math 2150, Fall 2022

**Announcements***The final exam will be held on Thursday, December 15 from 3-6 pm.*

**Course Information**

syllabus**Lecture Notes**

August 22 (propositional logic: definitions and operators)

August 24 (syntax, semantics, more truth tables)

August 29 (tautologies, contradictions, and logical equivalence)[**begin at “August 31, 2020”**]

August 31 (negations and translations in propositional logic)

September 7 (introduction to predicate logic: one-place predicates [quantifiers, def. of formulas])

September 12 (continuation of one-place predicate logic: freeness and (more) translations)

September 14 (introduction to n-place predicates [def. of formulas, freeness, translations])

September 19 (more on negations in propositional and predicate logic)

September 21 (logical equivalence in predicate logic; more translations)

September 26 (truth and more translations in predicate logic)

October 10 (introduction to proofs: direct proof)

October 12 (proof by contraposition)

October 17 (proof by contradiction)

October 19 (proofs of if and only if statements and the equivalence of 3 or more statements)

October 24 (proof by cases)

October 26 (existence proofs and disproofs)

October 31 (intro to sets)

November 2 (finish intro to sets)

November 7 (proofs w/ sets, part 1)

November 9 (finishing set proofs)

November 21 (introduction to induction)

November 28 (more induction)

November 30 (strong induction)**Videos**

Introduction to the course

August 22

August 24

August 29

August 31

September 7

September 12

September 14

September 19

September 21

September 26

October 3 (** review for Test 1**)

October 10

October 12

October 17

October 19

October 24

October 26

October 31

November 2

November 7

November 9

November 14 (

**)**

*review for Test 2*November 23

November 28

November 30

**Homework Assignments**

Homework #1 Solutions

Homework #2 Solutions

Homework #3 Solutions

Homework #4 Solutions

Homework #5 Solutions

Homework #6 Solutions

Homework #7 Solutions

Homework #8 Solutions

Homework #9 Solutions

Homework #10 Solutions

Homework #11 Solutions

Homework #12 Solutions

Homework #13 Solutions

**Test Solutions**

Test #1 Solutions

Test #2 Solutions