Southern New Hampshire University

MAT-230: Discrete Mathematics

A study guide to SNHU's MAT-230, the course on sets, logic, counting, relations, functions, trees and graphs that underpins computer science.

Updated October 2026 · 5 min read

MAT-230 at Southern New Hampshire University studies mathematical structures that are discrete rather than continuous.

The catalog lists operations on sets, logic, truth tables, counting, relations and digraphs, functions, trees and graph theory, and says a significant goal is to improve critical thinking and problem solving.

Students find it different from algebra and calculus because the emphasis is on reasoning and precise definitions. A correct answer is often a short argument, so learning to write clear steps matters as much as getting the final result.

Course at a Glance

ItemDetails
UniversitySouthern New Hampshire University
Course codeMAT-230
Credits3
LevelUndergraduate
Subject areaDiscrete mathematics, logic and graphs
PrerequisiteNone listed in the catalog entry
Typical workProblem sets with proofs, tables, diagrams and short explanations (general; check your term)

What MAT-230 Covers

UnitWhat you work with
SetsUnion, intersection, complement, subsets and Venn diagrams
Logic and truth tablesStatements, connectives, implication and equivalence
CountingMultiplication rule, permutations, combinations
Relations and digraphsPairs of elements, properties such as reflexive, symmetric and transitive
FunctionsOne-to-one, onto and composition
Trees and graphsPaths, degrees, connectivity, trees and traversals

Key Concepts Explained

Truth Tables and Implication

The statement "if p then q" is false only when p is true and q is false. That surprises many students, because a conditional with a false hypothesis counts as true.

pqp implies q
TTT
TFF
FTT
FFT

Counting with Combinations

The number of handshakes among n people is the number of ways to choose 2, written C(n,2) = n(n - 1)/2.

Example: With 6 people there are 6 x 5 / 2 = 15 handshakes.

Graph Facts

In any graph, the sum of the vertex degrees equals twice the number of edges, because each edge adds one to the degree of two vertices. A tree on n vertices always has n - 1 edges.

Example: A graph with degrees 3, 3, 2, 2, 2 has degree sum 12, so it has 6 edges.

Typical Assignments and How to Approach Them

Assignment typeWhat it testsHow to approach it
Logic problemsBuilding and reading truth tablesFill in every row; check equivalences by comparing final columns
Proofs and explanationsClear reasoning from definitionsState what you assume, what you want, then justify each step
Counting problemsChoosing the correct counting ruleAsk whether order matters and whether items repeat
Relations and functionsTesting propertiesCheck each property against the definition with a specific element
Graph and tree problemsWorking with diagrams and terminologyDraw it, label vertices and compute degrees before reasoning

Writing a Short Argument

Many discrete maths marks are for reasoning, not computation. A good short proof states the claim, restates the relevant definition, and then moves in small, justified steps to the conclusion. Avoid jumping to results you have not shown.

When asked to disprove a statement, one counterexample is enough. Choose a small, clear one and check it against every part of the statement.

A Worked Relations Example

Let R on the set {1, 2, 3} be R = {(1,1), (2,2), (3,3), (1,2), (2,1)}. Check each property against the definition.

Conclusion: R is reflexive, symmetric and transitive, so it is an equivalence relation. It splits the set into the classes {1, 2} and {3}.

A Sets Reminder

For A = {1, 2, 3} and B = {2, 3, 4}, the union is {1, 2, 3, 4}, the intersection is {2, 3} and A minus B is {1}. A set with n elements has 2^n subsets, so A has 8.

Arguments and Logical Equivalence

Two statements are logically equivalent when their truth tables match in every row. A classic pair is the conditional and its contrapositive: if p then q is equivalent to if not q then not p. De Morgan's laws turn not (p and q) into (not p) or (not q).

Use these equivalences to simplify statements and to prove claims by contrapositive. Writing both truth tables side by side is a reliable way to check an equivalence you suspect.

Where Students Get Stuck

Study Tips for MAT-230

How We Help with MAT-230

Send the problems, the lesson notes and your working. A maths tutor can explain the reasoning, prepare worked solutions, or review your proofs for gaps. For the computing side of these ideas, see the related data structures page.

GradeEssays is independent and not affiliated with Southern New Hampshire University. Our work is a study and reference aid: use it to understand the method, then complete and submit your own work under SNHU's academic integrity policy.

Every order is written from scratch, comes with free revisions within the scope of your original request, and is refunded in full if it is late.

Get MAT-230 Worked Through Clearly

Share the problems and your attempts. A maths tutor prepares step-by-step solutions to study from.

Start My MAT-230 Help

Free revisions · Full refund if late · Written from scratch for your order

Frequently Asked Questions

What topics does MAT-230 cover?

SNHU lists operations on sets, logic, truth tables, counting, relations and digraphs, functions, trees and graph theory.

Is MAT-230 a proof course?

It develops critical thinking and problem solving; expect to justify steps clearly, though the exact proof expectations depend on your instructor.

Is there a prerequisite?

The catalog entry lists none.

Why is it useful for computing?

Logic, sets, counting and graphs underlie algorithms and data structures.

How should I study for logic?

Practice with truth tables until you can predict each column before filling it in.

Can you check my MAT-230 solutions?

Yes. We review your reasoning and explain any gaps.