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