This document provides an outline for a lecture on discrete mathematics. It introduces topics like logic, set theory, mathematical reasoning/proof techniques, propositional/predicate calculus, Boolean algebra, induction, algorithms, recursion, counting/probability, and graph theory. The lecture begins with an introduction to logic, including statements, propositions, truth values, and logical operators like negation, conjunction, disjunction, implication, and biconditional. It provides examples of combining propositions using logical operators and truth tables. It also discusses propositional functions, quantification, and counterexamples.