Module 1: Basic Set Theory
Module 2: Modular Arithmetic, Divisibility, and the Fundamental Theorem of Arithmetic
Module 3: Functions and Relations
Module 4: Truth Tables and Symbolic Logic
Module 5: Basic Direct Proofs
Module 6: Proof Techniques Part 1: Contrapositive and Contradiction
Module 7: Sequences, Sums, and Products
Module 8: Proof Techniques Part 2: (Weak) Induction
Module 9: Recurrence Relations and Recursion
Module 10: Counting Systems (Binary, Hex, Octal, etc.)
Module 11: Combinatorics
Module 12: Graph Theory
Module 13: Review

Quantifiers

Recall that when we first introduced statements, we said that a sentence such as

“\(x+1=0\)”

Was NOT a statement. The reason this is not a statement is because statements must evaluate to either true or false, without ambiguity. The truth value of this statement above depends on what \(x\) is. So naturally, if someone just handed you this statement and asserted “this is true,” you might ask something like “True… for some specific \(x\) value? True for every \(x\)-value? What do you mean?” We clear up ambiguities such as these using quantifiers, which add a bit more specificity to the variables in a given sentence.

Scroll to Top