Sign in to save

Bookmark this page so you can find it later.

Sign in to save

Bookmark this page so you can find it later.

This cheat sheet covers the core tools of discrete mathematics: logic, sets, counting, and graph theory. These topics are the language of proof, algorithms, data structures, probability, and computer science theory. College students need a compact reference because many problems combine symbols, definitions, and formulas from several areas at once.

The most important ideas are translating statements into logical form, using set notation correctly, and selecting the right counting method. Logic depends on truth values, implications, quantifiers, and equivalences. Counting depends on product rules, permutations, combinations, inclusion-exclusion, and recurrences.

Graph theory focuses on vertices, edges, degrees, paths, connectivity, trees, and classic formulas such as vVdeg(v)=2E\sum_{v \in V} \deg(v) = 2|E|.

Key Facts

  • The implication pqp \to q is logically equivalent to ¬pq\neg p \lor q and is false only when pp is true and qq is false.
  • De Morgan's laws are ¬(pq)¬p¬q\neg(p \land q) \equiv \neg p \lor \neg q and ¬(pq)¬p¬q\neg(p \lor q) \equiv \neg p \land \neg q.
  • For sets, De Morgan's laws are (AB)c=AcBc(A \cup B)^c = A^c \cap B^c and (AB)c=AcBc(A \cap B)^c = A^c \cup B^c.
  • The number of subsets of a set with nn elements is 2n2^n, and the number of kk-element subsets is (nk)=n!k!(nk)!\binom{n}{k} = \frac{n!}{k!(n-k)!}.
  • The multiplication rule says that if one task has mm choices and a second independent task has nn choices, then both tasks have mnmn choices.
  • The inclusion-exclusion formula for two finite sets is AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B|.
  • For a finite simple graph G=(V,E)G=(V,E), the handshaking lemma is vVdeg(v)=2E\sum_{v \in V} \deg(v) = 2|E|.
  • A tree with nn vertices has exactly n1n-1 edges, is connected, and has no cycles.

Vocabulary

Proposition
A proposition is a statement that has a definite truth value, either true or false.
Biconditional
A biconditional pqp \leftrightarrow q means that pp and qq have the same truth value.
Power Set
The power set of AA, written P(A)\mathcal{P}(A), is the set of all subsets of AA.
Combination
A combination is a selection where order does not matter, counted by (nk)\binom{n}{k}.
Permutation
A permutation is an arrangement where order matters, counted by P(n,k)=n!(nk)!P(n,k)=\frac{n!}{(n-k)!}.
Connected Graph
A connected graph is a graph in which every pair of vertices is joined by at least one path.

Common Mistakes to Avoid

  • Confusing pqp \to q with qpq \to p is wrong because an implication and its converse do not usually have the same truth value.
  • Treating ABA \cup B like ABA \cap B is wrong because a union includes elements in either set, while an intersection includes only elements in both sets.
  • Using (nk)\binom{n}{k} when order matters is wrong because combinations ignore order, while ordered selections require permutations such as P(n,k)=n!(nk)!P(n,k)=\frac{n!}{(n-k)!}.
  • Forgetting to subtract overlap in inclusion-exclusion is wrong because elements in ABA \cap B are counted twice in A+B|A|+|B|.
  • Assuming every graph with n1n-1 edges is a tree is wrong because a tree must also be connected and acyclic.

Practice Questions

  1. 1 Construct the truth table for (pq)¬q(p \to q) \land \neg q and determine when it is true.
  2. 2 A set AA has 88 elements. How many subsets does AA have, and how many subsets have exactly 33 elements?
  3. 3 How many length-55 passwords can be made from 2626 lowercase letters if repetition is allowed, and how many if repetition is not allowed?
  4. 4 Explain why a connected graph with nn vertices and n1n-1 edges cannot contain a cycle.