Detailed study of function properties (injective, image of sets) and relation properties (transitive). Includes formal definitions, propositions with proofs, and corollaries. Covers graph degree, vertices, and the Handshake Lemma applications.
Covers proofs about discrete structures including sets and set operations, injective functions, transitive relations, and graph properties. Introduces element chasing proofs, pigeonhole principle, and the Handshake Lemma for graphs.
Introduces proof techniques including direct proof, proof by contrapositive, and proof by contradiction. Covers logical structure of proofs, mini sudoku examples, and basic proof strategies with focus on implications and mathematical statements.