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 .
Key Facts
- The implication is logically equivalent to and is false only when is true and is false.
- De Morgan's laws are and .
- For sets, De Morgan's laws are and .
- The number of subsets of a set with elements is , and the number of -element subsets is .
- The multiplication rule says that if one task has choices and a second independent task has choices, then both tasks have choices.
- The inclusion-exclusion formula for two finite sets is .
- For a finite simple graph , the handshaking lemma is .
- A tree with vertices has exactly 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 means that and have the same truth value.
- Power Set
- The power set of , written , is the set of all subsets of .
- Combination
- A combination is a selection where order does not matter, counted by .
- Permutation
- A permutation is an arrangement where order matters, counted by .
- 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 with is wrong because an implication and its converse do not usually have the same truth value.
- Treating like is wrong because a union includes elements in either set, while an intersection includes only elements in both sets.
- Using when order matters is wrong because combinations ignore order, while ordered selections require permutations such as .
- Forgetting to subtract overlap in inclusion-exclusion is wrong because elements in are counted twice in .
- Assuming every graph with edges is a tree is wrong because a tree must also be connected and acyclic.
Practice Questions
- 1 Construct the truth table for and determine when it is true.
- 2 A set has elements. How many subsets does have, and how many subsets have exactly elements?
- 3 How many length- passwords can be made from lowercase letters if repetition is allowed, and how many if repetition is not allowed?
- 4 Explain why a connected graph with vertices and edges cannot contain a cycle.