EN FR

COM-1: Formal Notation and Logic

Module 1 · Mathematical Communication & Geometry

Section 1: Introduction

Picture this: you’ve just gotten back your first calculus assignment. You solved every problem correctly — you found the right derivative, got the right answer, understood the idea. But the page comes back covered in red ink.

Not because you got the math wrong. Because of how you wrote it.

”3 + 5 = 8 × 2 = 16” — Your professor circles this and writes: “These are not equal. This is not a chain of equalities. This is a chain of errors.”

This is more common than you’d think. Students entering calculus often have a gap between the math they understand and the math they can communicate. In high school, sloppy notation often goes unpunished. In calculus — and in every university math course — notation is the language, and writing it poorly is like writing a grammatically broken essay. The ideas might be there, but they don’t come through.

This lesson fixes that. We’re going to establish six conventions that every mathematician, physicist, and engineer uses. Master these now, and every lesson in this course — and every calculus class you take — will be smoother.

After this lesson, you will be able to:

  • Use the equals sign correctly as a statement of balance, not a “next step” arrow
  • Distinguish between implication (), biconditional (), and equality (), and know when to use each
  • Write algebraic work vertically, showing one operation per step, aligned at the equals sign
  • Use set notation () and the standard number sets ()
  • Express solution sets and domains using interval notation
  • Recognize when an exact value (fraction, radical, multiple of ) is required instead of a decimal approximation

These aren’t arbitrary rules. Each one exists because it prevents a specific type of confusion that will cost you marks — or lead you to wrong answers — in calculus. Let’s build the habit now.

Section 2: Prerequisites

This is the entry point for the course — no prior lessons are required. You do need to be comfortable with the basics of secondary school mathematics.

  • Basic Arithmetic: You should be able to add, subtract, multiply, and divide fractions and integers without a calculator.
  • Elementary Algebra: You should understand how to solve a simple equation like by isolating the variable.
  • The Number Line: You should be familiar with the order of numbers and basic inequalities (e.g., ).

Retrieval Checkpoint

What is as an exact fraction?

Success Factor: This lesson is about how you write, not just what you calculate. If your arithmetic feels slow, don’t worry — we focus on the notation habits that will make your future work clearer.

Section 3: Core Concepts


C1 — The Equals Sign

The equals sign has one job: to say that the expression on its left is the same value as the expression on its right. It’s a statement of balance.

The Equals Sign =

The statement asserts that and represent the same quantity. Writing is a complete, self-contained mathematical claim.

Here’s where students get into trouble. In everyday speech, we say things like “three plus five equals eight, times two, equals sixteen.” In math, this chain is a lie:

Run-on equation (wrong):

This claims , which is false. The equals sign cannot mean “and then I did this.”

The correct way to write this is to start a new line for each new expression:

Correct:

The most common run-on equation in calculus: students write final answer, connecting every intermediate derivative step with equals signs — even when each step changes the expression in a way that isn’t equal to the one before. Each new algebraic manipulation needs its own line.


C2 — Implication Arrows

Sometimes in mathematics, one statement leads to another without the two being equal. For this, we use implication arrows instead of the equals sign.

Implication: ⇒ and ⇔

means “if is true, then must be true.” Read as ” implies .”

means ” is true if and only if is true.” Both directions hold. Read as ” if and only if .”

Here’s a classic use in equation-solving:

The equation and the solutions or are not equal to each other — one is a quadratic equation, the others are numbers. The arrow says: “this equation leads us to conclude these values.” Using here would be nonsensical.

And for a biconditional example:

These two statements say the same thing in different notations. The biconditional is appropriate.

Don’t confuse with . The statement "" is incoherent. Use the implication arrow when you’re concluding a fact, not asserting balance.


C3 — Vertical Work

When working through an algebra problem, write one step per line, each step directly below the previous, with all equals signs vertically aligned. This is not a stylistic preference — it’s how mathematical logic is communicated.

Vertical Algebraic Work

Each line shows one manipulation. The equals sign on each line connects that line’s expression to the one above it. The reader (and you) can verify each step independently.

Compare: Horizontal (sloppy) vs. Vertical (clean) — click a tab to see both styles applied to the same problem.

Problem: Solve

2x + 6 = 14 = 2x = 8 = x = 4
← Run-on: the equals signs here are lies

Writing horizontally (“compress it all on one line”) is tempting, but it hides your reasoning. If you make an error, you can’t find it. And in calculus, where steps get complex, horizontal work becomes unreadable even to you.


C4 — Set Notation

A set is a collection of objects. In mathematics, we often describe sets of numbers and need precise notation to say what kind of numbers we mean.

Membership and Number Sets

means ” is an element of (belongs to) the set .”

means ” is not an element of .”

The standard number sets, from smallest to largest:

  • — Natural numbers: (counting numbers, sometimes including 0)
  • — Integers:
  • — Rational numbers: all fractions where and
  • — Real numbers: all points on the number line (includes irrationals like and )

Set-builder notation describes a set by a rule. For example: means “the set of all real numbers such that is positive.” The vertical bar reads as “such that.”

The letter comes from the German word Zahlen (numbers). The letter comes from quotient. These are universally agreed-upon symbols — using for integers or (without the double stroke) for reals is non-standard and will confuse readers.


C5 — Interval Notation

When describing a continuous range of real numbers (like a domain or a solution set), interval notation is more compact and precise than inequality notation.

Interval Notation

  • — Open interval: all with . Endpoints excluded.
  • — Closed interval: all with . Endpoints included.
  • — Half-open: . Left endpoint included, right excluded.
  • — All . Infinity always gets a parenthesis (never a bracket).
  • — All .
  • — All real numbers .

To express a union of two intervals (e.g., two separate ranges), use :

Bracket confusion: Round brackets mean “not included” (strict inequality or ). Square brackets mean “included” ( or ). A very common error is writing — infinity is never reached and never gets a square bracket.


C6 — Exact Values vs. Decimal Approximations

Unless a problem specifically asks you to approximate or asks for a decimal, leave your answer as an exact value. This matters more in calculus than almost anywhere else.

Exact Values

An exact value is a representation that has no rounding error — a fraction, a radical, a multiple of , or an expression involving these.

Examples of exact values:

Their decimal approximations (not exact):

Why does this matter in calculus? Because later, you’ll compute things like:

If you had replaced at the start, you’d get a messy decimal instead of the clean exact answer . Exact values collapse beautifully. Decimals accumulate error.

Writing loses information — . Writing (using ) at least acknowledges the approximation. But in most calculus contexts, you should keep and never round it.

Section 4: Worked Examples

Example 1 — Rewriting a Run-On Equation (Fully Worked)

A student was asked to simplify and wrote:

Student’s work:

The algebra is actually correct here. But notice: every equals sign in this chain is legitimate — each step truly equals the previous one. So is this wrong? Let’s examine it carefully.

The expression equals equals — so chaining them with is technically valid here. The issue arises when students apply this habit to equations (not just expressions).

Now consider this version: Solve . The student writes:

This is a disaster. The line claims and . These are false.

Correct vertical work:

Notice: each line is a true statement. Each step applies exactly one operation. The solution is easy to follow and easy to check.


Example 2 — Knowing When to Use (Partially Scaffolded)

Solve and justify each step with proper symbols.

Setup: We need to factor the left side. The factors of 6 that add to are and .

Before looking at the next step: should we write or ? What’s the difference?

Answer:

The first two lines use because the expressions are equivalent (we rewrote the same equation). The last two lines use because we are deducing consequences — from a product being zero, we conclude (imply) that one factor must be zero. This is a logically different move from simplification.


Example 3 — Expressing a Domain (Minimally Scaffolded)

Find the domain of and express it in both set notation and interval notation.

Hint: The only restriction is that the denominator cannot be zero. Find that restriction, then express everything that’s allowed.

Show Solution

The denominator equals zero when . So is excluded.

Set notation:

Interval notation:

Both express the same set: all real numbers except 3. Interval notation is more common in calculus; set notation is useful when describing constraints precisely.


Example 4 — Combining All Six Concepts (Application Twist)

This problem looks different, but uses the same tools we’ve built.

Problem: A student claims that since , we have , and writes the domain of as .

Identify every notation issue in the student’s work and rewrite it correctly.

Show Solution

Issues:

  1. C6 — Exact vs. decimal: Writing implies they’re not equal. They are equal. The symbol is incorrect here. Worse, expressing the domain endpoint as instead of suggests approximation where none exists.
  2. C5 — Interval notation: The domain should be written as , not as an inequality alone.
  3. C4 — Set notation option: Alternatively, .

Corrected work:

For to be defined, we need , i.e., .

Domain:

Section 5: Guided Practice

Work through each problem. The dropdown will tell you immediately whether you’ve identified the right answer — and if not, it’ll explain why the other choices are wrong.

Problem 1 — The Equals Sign (C1) — Generative

A student solves and writes: “3x = 12 = x = 4.”

What is the error?

A student simplifies: “2 + 8 = 10 ÷ 2 = 5.”

What is the error?

A student writes: “The area of a rectangle with sides 4 and 7 is 4 × 7 = 28 = 28 cm².”

Is this a run-on equation?

A student solves and writes: “2x + 6 = 14 = 2x = 8 = x = 4.”

What is the error?

A student evaluates at and writes: “f(3) = 9 = 9 + 1 = 10.”

What is the error?


Problem 2 — Interval Notation (C5) — Generative

Convert to interval notation.

Convert to interval notation.

Convert to interval notation.

Convert to interval notation.

Convert or to interval notation.


Problem 3 — Set Membership (C4) — Generative

Which of the following statements are true?

Explanation
  • I: — False. is irrational (proven by contradiction since antiquity).
  • II: — True. Negative integers are integers.
  • III: — True. Every rational number is a real number ().
  • IV: — False. is transcendental (not even algebraic), let alone rational.

Problem 4 — Exact vs. Approximate (C6) — Generative

A student calculates a length and gets . Which representation should they write in a calculus solution?

Section 6: Independent Practice

No dropdowns this time — work through each problem fully, then check the solution. Use the regenerate buttons to practice with new problems.

Problem 1 — Fix the Run-On Equation (C1 + C3)

The following is a student’s work for solving . Rewrite it correctly using vertical work.

5x - 3 = 22 = 5x = 25 = x = 5

Show Solution

Each line is a true equality. Each step applies exactly one operation (add 3, then divide by 5).

Rewrite this student’s work for using correct vertical notation.

2(x-4) = 10 = 2x - 8 = 10 = 2x = 18 = x = 9

Show Solution

Rewrite this student’s work for using correct vertical notation.

x/3 + 1 = 5 = x/3 = 4 = x = 12

Show Solution

Rewrite this student’s work for using correct vertical notation.

3(x + 2) = x + 10 = 3x + 6 = x + 10 = 2x = 4 = x = 2

Show Solution

Rewrite this student’s work for using correct vertical notation.

x² - 5x + 6 = 0 = (x - 2)(x - 3) = 0 = x = 2 or x = 3

Show Solution

Note the implication arrow : factoring gives us the equation , from which we deduce the solutions — we don’t chain ”= x = 2”.

Problem 2 — Inequality to Interval Notation (C5)

Problem 3 — Set-Builder to Roster (C4)

Problem 4 — Rewrite in Vertical Form (C3)

Rewrite the expression simplification in clean vertical form with one operation per line.

Show Solution

Note: for an expression simplification (not an equation), the equals sign goes at the start of each continuation line, or you can omit the equals and write each expression below the previous with an ”=” alignment.

Rewrite in clean vertical form.

Show Solution

Rewrite in clean vertical form.

Show Solution

Note the domain restriction at the end — this is required since we divided by .

Rewrite in clean vertical form.

Show Solution

Don’t forget the domain restriction — dividing by requires .

Rewrite in clean vertical form.

Show Solution

The key step is factoring out the common factor before expanding — cleaner and less error-prone.

Problem 5 — All Six Concepts (C1–C6)

Read the following student solution and identify every notation violation. List each one by concept code (C1–C6).

Solve for x and find the domain of the result:

“x² - 4 = 0 = x² = 4 = x = 2, and the domain of the original expression is x ≠ 2, so domain = all reals except 2, which is about (-∞, 1.99999…) ∪ (2.0001, ∞).”

Show Full Analysis
  1. C1 (Run-on equation): “x² - 4 = 0 = x² = 4 = x = 2” chains false equalities. Line 1 is an equation (= 0); the later parts are algebraic steps. Use vertical work or implication arrows.
  2. C2 (Implication arrows): Concluding from should use . (Also: the student missed !)
  3. C3 (Vertical work): Everything should be written line by line, not run together.
  4. C5 (Interval notation): The domain is , not the approximate version given.
  5. C6 (Exact values): Writing “about (-∞, 1.99999…) ∪ (2.0001, ∞)” is not just imprecise — it’s wrong. The excluded point is exactly 2, not approximately 2.

Corrected work:

If the original expression had domain restriction , then only is in the domain, and the domain is .

Section 7: Mastery Check

No hints. No scaffolding. These questions test whether you can recognize and apply proper mathematical communication standards on your own.

Question 1 — Feynman Test

A classmate who missed this lesson asks you: “What’s the difference between and ? When do I use each one?” Write your explanation below as if you were actually talking to them (complete sentences, plain language).

0 / 500
See a model answer

The equals sign says two things are the same value right now. When I write , I’m asserting that and represent the same quantity — that’s a statement about balance.

The implication arrow says “this fact leads me to this conclusion.” When I write , I’m not saying equals — that would be nonsense. I’m saying: from the equation, I can conclude these values.


Question 2 — Apply (C5)

A function is defined as . Express its domain as an interval.

Step 1: What condition must the expression under the square root satisfy?

Show full domain solution

Domain:

In set notation:


Question 3 — Feynman Test — Why Notation Matters (C1)

Explain in your own words, as if teaching a friend who missed this lesson: Why is the chain considered “false” in mathematics, even though the arithmetic steps (3+5=8 and 8*2=16) are both correct? What does the equals sign actually claim?

0 / 500
See a Model Answer

The equals sign is a statement of identity: it claims that everything on the left is exactly the same value as everything on the right. In the chain , the first link claims is the same as , which is false (). The equals sign is not a “then I did” arrow; it’s a balance scale.


Question 4 — Identify the Set (C4, C5)

Which of the following is the correct representation of “the set of all real numbers greater than or equal to 3, but less than 10”?


Question 5 — Analyze (C1, C6)

A student presents this work for “Find the domain of ”:

Step 1:
Step 2: Domain

The student got the right answer — domain is all real numbers except . But there’s a logical error in their reasoning. What is it?

Show Analysis

The error is in Step 1. The function has a square root: . For a square root to be defined over , we need (non-negative, not just non-zero). The student only applied the “denominator ≠ 0” condition and missed the square root condition.

Correct reasoning:

For to be defined, we need two things simultaneously:
(1) (radicand must be non-negative)
(2) (denominator non-zero)

Combining: , so domain .

The student got lucky that their simplified reasoning arrived at the right answer, but the logic was incomplete. In calculus, incomplete reasoning often leads to wrong answers.


Self-Assessment

How confident are you with the six notation conventions from this lesson?

Still confusedVery confident

Section 8: Boss Fight

You’ve practiced individual concepts. Now it’s time to use all six at once — under pressure. Choose your path:

🔬 Path A: The Editor

You receive a student’s messy solution. Your job: find every notation error, explain each one, and rewrite the solution cleanly. Think like a professor with a red pen.

🏗️ Path B: The Translator

You receive a word problem and a rough description of a solution. Your job: translate it from scratch into proper mathematical notation — from the first line to the final answer.

Path A: The Editor

Here is a student’s submitted solution to: “Find the domain of and write it in interval notation.”

Student’s work:

“x - 2 must be positive so x > 2.0

x - 5 can’t be 0 so x ≠ 5

So domain = x > 2 and x ≠ 5 = (2, ∞) minus 5 = about (2, 4.9999) ∪ (5.0001, ∞)”

Task A1 — Identify notation errors and rewrite.

In the space below, identify every notation error (there are at least 4) and write the complete corrected solution.


0 / 1200
Show Full Editorial Review

Errors found:

  1. C6 — Exact vs. decimal: “x > 2.0” — the 2 here is exact, not approximate. Writing “2.0” implies a measured value. Write or (see below).
  2. C1 — Run-on equation: “domain = x > 2 and x ≠ 5 = (2, ∞) minus 5” — the equals signs connect statements that are not equal. Use prose or implication arrows between the reasoning steps.
  3. C5 — Interval notation error: “(2, ∞) minus 5” is not interval notation. The correct notation is .
  4. C6 — Approximate domain: “(2, 4.9999) ∪ (5.0001, ∞)” is not an exact domain. The excluded point is exactly 5, not approximately 5.
  5. Bonus — mathematical error: “x - 2 must be positive” is wrong. For a square root, (non-negative, including zero). So , meaning is allowed.

Corrected solution:

For to be defined:

Combining: and .

Domain:


Reflection: What was the trickiest error to spot? Did you catch the mathematical error (≥ vs. >) as well as the notation errors?

Path B: The Translator

Here is a problem and a rough English description of the solution. Translate the entire thing into proper mathematical notation from scratch.

The problem: A cell phone plan charges a flat fee of 0.05 per text message. Describe the set of all monthly costs (in dollars) for a plan that allows at most 200 text messages, using interval notation. Also express the number of texts as a set.


Rough English description: “The cost is 15 plus 5 cents times the number of texts. The texts go from 0 to 200. The minimum cost is 25. So the cost is between 15 and 25 dollars inclusive.”

Task B1 — Translate into formal notation.

Translate the problem into a complete, formally-notated solution. Define variables clearly, use exact values, show vertical work, and provide the final cost set in interval notation.


0 / 1200
Show Model Solution

Variable definitions:

Let = number of text messages, where Extra close brace or missing open bracen \in \mathbb{N} \cup \{0} and .

Equivalently, the set of valid values:

Cost function:

Finding the range of costs:

Since is increasing on , the minimum is and the maximum is .

Set of possible costs:


Reflection: Did you use exact values (0.05, not “about 5 cents”) and interval notation for the final answer? Did you define variables clearly before using them?

Section 9: Challenge Problems

Optional stretch. These go beyond the lesson objectives. Attempt them when you feel confident with the core material.

Challenge 1 — Set Operations (Preview of Set Theory)

Let and .

Using only set notation and/or interval notation:

  1. Find (the intersection — elements in both sets).
  2. Find (the union — elements in either set).
  3. Is ? Is ?
Show Solution

Extra close brace or missing open braceA = \{0, 1, 2, 3, 4, 5} and

(a) Extra close brace or missing open braceA \cap B = \{3, 4, 5} = \{ x \in \mathbb{Z} \mid 3 \leq x \leq 5 \}

(b)

(c) — True. — False ( but ).

Challenge 2 — Building an Implication Chain

Consider the statement: “If , then .”
Write this using the symbol. Then explain: is the converse also true? (The converse swaps the “if” and “then” parts.) If so, can you use ?

Show Solution

The statement:

The converse: . Is this true? Yes — if is between -3 and 3, then is between 0 and 9 (exclusive), so .

Since both directions hold: .

This is an example of an equivalence — a two-way implication. In calculus, you’ll often want to establish whether a condition is one-way or two-way.

Challenge 3 — Preview: Coordinates and Exact Values

A line passes through the points and . Without computing a decimal, answer:

  1. What is the slope of this line? Write it as an exact value.
  2. If the line is written as , what is the exact value of when ?

This previews COM-2 (Coordinate Geometry). You’ll do much more of this in the next lesson.

Show Solution

(a) Slope (exact — don’t write 1.732).

(b) (exact).

Leaving unsimplified as a decimal would lose information. In COM-2, you’ll see how exact slope values lead to exact equations of lines.

Section 10: Solutions Reference

Complete, step-by-step solutions for all problems in Sections 5–9 are available on the solutions page. Solutions include worked arithmetic, common mistakes to watch for, and interpretation guidance.

View Full Solutions →

If you’re stuck: Re-read the relevant Core Concept in Section 3, then find the Worked Example that maps to that concept (e.g., Example 1 maps to Concept 1). The solutions page shows the reasoning behind every step, not just the final answer.

Quick-Reference Notation

The Equals Sign () vs. Implication Arrow (): Use for expression identity ( is a statement). Use for logical deduction ().

Number Sets: (Natural), (Integers), (Rational), (Real).

Interval Notation: is open (exclude endpoints), is closed (include endpoints). Infinity always takes .

Exact Values: Keep in symbolic form. Avoid decimals unless explicitly requested.