Math 2150 Summer 2026

Course Information

Syllabus

Lecture Notes

Lecture 1[June 16] (intro to propositional logic)
Lecture 2[June 16] (formulas, more on truth tables)
Lecture 3[June 18] (tautologies, contradictions, logical equivalence) (August 31, 2022 part only)
Lecture 4[June 18] (finishing up propositional logic)
Lecture 5[June 23] (intro to predicate logic: one-place predicates, formulas, free variables)
Lecture 6[June 24] (intro to n-place predicates)
Lecture 7[June 30] (negations in propositional and predicate logic)
Lecture 8[June 30] (logical equivalence in predicate logic, more translations)
Lecture 9[July 3] (finishing up predicate logic – uniqueness and more translations)
Lecture 10[July 15] (intro to proofs: direct proof)
Lecture 11[July 15] (proof by contraposition)

Lectures

Video Lecture 1[June 16]
Video Lecture 2[June 18]
Video Lecture 3[June 24]
Video Lecture 4[June 25]
Video Lecture 5[June 30]
Video Lecture 6[July 3]
Test 1 Review Video[July 8]
Video Lecture 6[July 15]

Homework

Homework 1 Solutions
Homework 2 Solutions
Homework 3 Solutions
Homework 4 Solutions
Homework 5 Solutions
Homework 6 Solutions
Homework 7 (due by Saturday, July 18 by 11:59 pm as a PDF upload to Canvas)