Discrete Mathematics: Formula Sheet

Discrete Mathematics: Formula Sheet

Build a responsible reference sheet of relationships, conditions, units, representations, and decision rules rather than copying unexplained formulas. Develops logic, proof, sets, combinatorics, graphs, relations, and recurrence for computing and mathematics. Course titles, local sequences, grading, safety rules, required tools, and assessment formats vary; align this resource with the current syllabus and instructor directions.

Learning outcomes

• Explain and apply propositional logic, then connect it to proof techniques using course-appropriate evidence.
• Explain and apply proof techniques, then connect it to sets and relations using course-appropriate evidence.
• Explain and apply sets and relations, then connect it to counting and probability using course-appropriate evidence.
• Explain and apply counting and probability, then connect it to graphs and recurrences using course-appropriate evidence.
• Explain and apply graphs and recurrences, then connect it to propositional logic using course-appropriate evidence.

Prerequisite readiness

algebra, precise reading, notation, and willingness to explain why a statement follows Use a short ungraded check, repair the smallest missing skill, and immediately retest it in a course-level task.

Reference-sheet entries

• propositional logic: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• proof techniques: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• sets and relations: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• counting and probability: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.
• graphs and recurrences: record its governing relationship or decision rule, required conditions, units or evidence, one representation, and a common misuse.

Use test

Can you choose the right relationship on an unlabeled task and explain why its conditions hold? If not, the sheet is storage rather than understanding.

Reliable method

translate statements precisely, test small cases, choose a proof or counting strategy, justify each step, and check edge cases Keep assumptions, intermediate reasoning, units, sources, tool use, and checks visible so another learner can follow the decision process.

Representative application

Prove a property of a graph or recurrence and contrast the proof with several confirming examples. Predict a reasonable result before working, compare the outcome with the prediction, and explain limitations or alternative interpretations.

Error recovery

Watch for believing examples prove a universal claim or counting outcomes twice because categories overlap. Mark the first unsupported move, classify the cause, correct the reasoning, and schedule a fresh mixed recheck after a delay.

Accessibility, integrity, and safety

Use approved accommodations and accessible formats. Follow course rules for collaboration, citation, calculators, software, generative tools, laboratories, clinical settings, field activity, privacy, copyright, and human or animal subjects. Never use Exams.fit to obtain protected questions or bypass assessment rules.

Evidence to save

When permitted, preserve a formal argument with definitions, cases, edge checks, and a clear conclusion with the prompt, first attempt, feedback, revision, verification, and reflection. Remove restricted assessment content and private or proprietary information.

Open-learning reference

Compare this original Exams.fit resource with the relevant OpenStax collection and MIT OpenCourseWare when they match the local course. Reviewed August 2, 2026. This page does not replace the current syllabus, instructor, institution, or qualified professional.