1.1.2 Mathematical language and syntax

What you'll learn

How to distinguish expressions, equations, identities and inequalities.
How to use logical symbols such as $⇒\Rightarrow$ , $⇔\Leftrightarrow$ , $∀\forall$ and $∃\exists$ correctly.
How to describe sets, intervals and conditions precisely.
How to recognise implications, converses, necessary conditions and sufficient conditions.

Why mathematical language matters

Mathematics is not only about obtaining an answer. You must also communicate statements and arguments without ambiguity.

Mathematical syntax means the rules for arranging mathematical symbols into meaningful statements. Just as word order matters in English, the order and use of symbols matter in mathematics.

For example, $x + 3 = 7$ is a complete mathematical statement, whereas $x + 3 =$ is incomplete.

Expressions, equations and identities

Expressions

Definition

Expression

An expression is a mathematical combination of numbers, variables and operations. It does not make a claim that two quantities are equal.

Examples include $3 x + 5$ , $x^2-4x+1$ and $1x\frac{1}{x}$ .

An expression can be simplified or evaluated, but it is not something you “solve” unless it appears within an equation or inequality.

Equations

Definition

Equation

An equation states that two expressions are equal for particular values of the variable or variables.

For example, $3 x + 5 = 17$ is true only when $x = 4$ . This value is called a solution or root of the equation.

Example

Solving an equation and checking its domain

Solve $x+1x−2=2\frac{x+1}{x-2}=2$ .

First note that $x≠2x\neq2$ , because the denominator cannot be zero.
Multiply both sides by $x - 2$ to obtain $x + 1 = 2 (x - 2)$ .
Expand and solve: $x + 1 = 2 x - 4$ , so $x = 5$ .
Check the restriction: 5 is not excluded, and substitution gives $5+15−2=2\frac{5+1}{5-2}=2$ . Therefore, $x = 5$ is valid.

Identities

Definition

Identity

An identity is an equality that is true for every permitted value of its variable. The identity symbol is $≡\equiv$ .

For example,

(x+1)2≡x2+2x+1.(x+1)^2\equiv x^2+2x+1.

This is true for every real value of $x$ . By contrast, $x+1)^2=9$ is an equation that is true only for certain values of $x$ .

Common Mistake

Using the equals sign for every relationship

Do not automatically replace $≡\equiv$ with $=$ . An equation identifies particular solutions, while an identity states that two expressions are equal throughout their common domain.

Inequalities

An inequality compares quantities using symbols such as $<$ , $>$ , $≤\le$ or $≥\ge$ .

The symbols $≤\le$ and $≥\ge$ include equality. For example, $x≤4x\le4$ allows $x = 4$ , while $x < 4$ does not.

When you multiply or divide an inequality by a negative number, you must reverse its direction.

Example

Solving an inequality

Solve $5−3x≤115-3x\le11$ .

Subtract 5 from both sides to obtain $−3x≤6-3x\le6$ .
Divide by negative 3. Because the divisor is negative, reverse the inequality: $x≥−2x\ge-2$ .
Check a value from the solution set, such as $x = 0$ : this gives $5≤115\le11$ , which is true.

Tip

Checking an inequality

Test one value inside your proposed solution set and one value outside it. This often reveals a reversed inequality sign or an incorrect interval endpoint.

Statements and truth values

Definition

Mathematical statement

A statement is a sentence that has a definite truth value: it is either true or false.

For example, “7 is prime” is a true statement, while “10 is odd” is false.

An open statement contains an unspecified variable, so its truth depends on that variable. The sentence “ $x > 3$ ” is open until a value or set of possible values for $x$ is given.

The negation of a statement $P$ , written “not $P$ ”, reverses its truth value. The negation of $x > 3$ is $x≤3x\le3$ , not merely $x < 3$ .

Implication

Definition

Implication

The notation $P⇒QP\Rightarrow Q$ means “if $P$ is true, then $Q$ must be true”. Here, $P$ is the hypothesis and $Q$ is the conclusion.

For example,

x>5⇒x>2.x>5\Rightarrow x>2.

The implication is true because every number greater than 5 is also greater than 2. The reverse implication is not true.

Example

Testing an implication

Consider the claim $n^2$ is even $⇒n\Rightarrow n$ is even, where $n$ is an integer.

Suppose $n$ were odd. Then it could be written as $n = 2 k + 1$ for some integer $k$ .
Squaring gives $n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1$ .
This result is odd, contradicting the statement that $n^2$ is even. Therefore, if $n^2$ is even, then $n$ must be even.

Converse and equivalence

The converse of $P⇒QP\Rightarrow Q$ is $Q⇒PQ\Rightarrow P$ . An implication and its converse are separate statements: one may be true while the other is false.

For example, $x=3⇒x2=9x=3\Rightarrow x^2=9$ is true, but its converse $x2=9⇒x=3x^2=9\Rightarrow x=3$ is false because $x = - 3$ is another possibility.

Definition

Equivalence

The notation $P⇔QP\Leftrightarrow Q$ means “ $P$ if and only if $Q$ ”. It states that both $P⇒QP\Rightarrow Q$ and $Q⇒PQ\Rightarrow P$ are true.

The phrase “if and only if” is sometimes shortened to iff.

For real $x$ ,

x2=0⇔x=0.x^2=0\Leftrightarrow x=0.

Both directions are true, so the statements are equivalent.

Common Mistake

Assuming the converse

Proving $P⇒QP\Rightarrow Q$ does not prove $Q⇒PQ\Rightarrow P$ . Test the converse separately, looking for a counterexample if you think it is false.

Necessary and sufficient conditions

The language of necessary and sufficient conditions describes an implication.

If $P⇒QP\Rightarrow Q$ , then:

$P$ is a sufficient condition for $Q$ : knowing $P$ is enough to guarantee $Q$ .
$Q$ is a necessary condition for $P$ : $P$ cannot be true unless $Q$ is also true.

For example, being divisible by 4 is sufficient for an integer to be even. Being even is necessary for an integer to be divisible by 4, but it is not sufficient because 6 is even and is not divisible by 4.

Key Idea

Reading necessary and sufficient

In $P⇒QP\Rightarrow Q$ , the condition on the left is sufficient and the condition on the right is necessary.

If each statement is both necessary and sufficient for the other, then $P⇔QP\Leftrightarrow Q$ .

Quantifiers

A quantifier tells you how many values in a stated set satisfy a condition.

Definition

Universal quantifier

The symbol $∀\forall$ means “for all” or “for every”.

For example, $x2≥0\forall x\in\mathbb{R},\ x^2\ge0$ says that the square of every real number is non-negative.

Definition

Existential quantifier

The symbol $∃\exists$ means “there exists at least one”.

For example, $∃x∈R\exists x\in\mathbb{R}$ such that $x^2=4$ is true because values such as $x = 2$ satisfy the equation.

The order of quantifiers can change a statement’s meaning. “For every real $x$ , there exists a real $y$ such that $y > x$ ” is true. It allows a different choice of $y$ for each $x$ .

Negating quantified statements

To negate “all”, it is enough to say “at least one does not”. To negate “there exists”, you must say “none exists”.

Therefore:

The negation of “all values satisfy $P$ ” is “there exists a value that does not satisfy $P$ ”.
The negation of “there exists a value satisfying $P$ ” is “all values fail to satisfy $P$ ”.

Example

Negating a universal statement

Negate: “For every real number $x$ , $x^2>x$ .”

The original statement uses the universal quantifier: it claims the inequality holds for every real $x$ .
Its negation must assert the existence of at least one failure.
Reverse $x^2>x$ to $x2≤xx^2\le x$ . The negation is: “There exists a real number $x$ such that $x2≤xx^2\le x$ .” For example, $x = 0$ confirms this negation is true.

Sets and membership

A set is a collection of distinct objects, called its elements or members.

The notation $x∈Ax\in A$ means that $x$ belongs to set $A$ , while $x∉Ax\notin A$ means that it does not.

Common number sets include:

$N\mathbb{N}$ : natural numbers
$Z\mathbb{Z}$ : integers
$Q\mathbb{Q}$ : rational numbers
$R\mathbb{R}$ : real numbers

A subset is a set whose every element belongs to another set. The notation $A⊆BA\subseteq B$ means that $A$ is a subset of $B$ .

Set-builder notation

Set-builder notation describes a set using a condition:

{x∈R:x≥2}.\{x\in\mathbb{R}:x\ge2\}.

This means “the set of real numbers $x$ such that $x≥2x\ge2$ ”. A vertical bar may be used instead of the colon.

Interval notation

Intervals provide a compact way to describe continuous sets of real numbers:

$[a, b]$ means $a≤x≤ba\le x\le b$ .
$(a, b)$ means $a < x < b$ .
$[a, b)$ means $a≤x<ba\le x<b$ .
$(a, b]$ means $a<x≤ba<x\le b$ .

A square bracket includes an endpoint; a round bracket excludes it. Infinity is never an included endpoint, so it always takes a round bracket.

Example

Writing a solution set in different forms

Express $−1<x≤4-1<x\le4$ using set-builder and interval notation.

The variable is real, so set-builder notation is ${x∈R:−1<x≤4}\{x\in\mathbb{R}:-1<x\le4\}$ .
The endpoint $- 1$ is excluded, so use a round bracket there.
The endpoint 4 is included, so use a square bracket there. The interval is $(- 1, 4]$ .

Chaining mathematical reasoning

A chain of mathematics must preserve logical meaning at every line.

Use $=$ between expressions known to have equal values. Use $⇒\Rightarrow$ when one statement follows from another. Use $⇔\Leftrightarrow$ only when every step is reversible.

For example, when solving $x^2=9$ over the real numbers,

x=−3.x^2=9\Leftrightarrow x=3\text{ or }x=-3.

By contrast, squaring both sides of an equation can introduce additional solutions, so that operation may give only a one-way implication.

Common Mistake

Non-reversible operations

Operations such as squaring, multiplying by an expression that could be zero, or taking reciprocals without checking for zero may not be reversible. Check solutions in the original equation whenever your reasoning includes such a step.

Exam technique

In the exam

State the relevant domain and restrictions, especially before dividing, taking a square root or using a denominator.
Use $=$ for equality, $⇒\Rightarrow$ for one-way implication and $⇔\Leftrightarrow$ only when the reasoning works in both directions.
Read words such as “all”, “some”, “necessary” and “sufficient” carefully; they determine the logical strength of the statement.
When a claim is false, give a specific counterexample that satisfies its assumptions but not its conclusion.

Self review

Check yourself

What is the difference between $P⇒QP\Rightarrow Q$ and $P⇔QP\Leftrightarrow Q$ ?
How would you negate “there exists a real number $x$ such that $x^2<0$ ”?
Write $2≤x<72\le x<7$ in both interval notation and set-builder notation.

What you'll learn

How to distinguish expressions, equations, identities and inequalities.
How to use logical symbols such as $⇒\Rightarrow$ , $⇔\Leftrightarrow$ , $∀\forall$ and $∃\exists$ correctly.
How to describe sets, intervals and conditions precisely.
How to recognise implications, converses, necessary conditions and sufficient conditions.

Why mathematical language matters

Mathematics is not only about obtaining an answer. You must also communicate statements and arguments without ambiguity.

Mathematical syntax means the rules for arranging mathematical symbols into meaningful statements. Just as word order matters in English, the order and use of symbols matter in mathematics.

For example, $x + 3 = 7$ is a complete mathematical statement, whereas $x + 3 =$ is incomplete.

Expressions, equations and identities

Expressions

Definition

Expression

An expression is a mathematical combination of numbers, variables and operations. It does not make a claim that two quantities are equal.

Examples include $3 x + 5$ , $x^2-4x+1$ and $1x\frac{1}{x}$ .

An expression can be simplified or evaluated, but it is not something you “solve” unless it appears within an equation or inequality.

Equations

Definition

Equation

An equation states that two expressions are equal for particular values of the variable or variables.

For example, $3 x + 5 = 17$ is true only when $x = 4$ . This value is called a solution or root of the equation.

Example

Solving an equation and checking its domain

Solve $x+1x−2=2\frac{x+1}{x-2}=2$ .

First note that $x≠2x\neq2$ , because the denominator cannot be zero.
Multiply both sides by $x - 2$ to obtain $x + 1 = 2 (x - 2)$ .
Expand and solve: $x + 1 = 2 x - 4$ , so $x = 5$ .
Check the restriction: 5 is not excluded, and substitution gives $5+15−2=2\frac{5+1}{5-2}=2$ . Therefore, $x = 5$ is valid.

Identities

Definition

Identity

An identity is an equality that is true for every permitted value of its variable. The identity symbol is $≡\equiv$ .

For example,

(x+1)2≡x2+2x+1.(x+1)^2\equiv x^2+2x+1.

This is true for every real value of $x$ . By contrast, $x+1)^2=9$ is an equation that is true only for certain values of $x$ .

Common Mistake

Using the equals sign for every relationship

Do not automatically replace $≡\equiv$ with $=$ . An equation identifies particular solutions, while an identity states that two expressions are equal throughout their common domain.

Inequalities

An inequality compares quantities using symbols such as $<$ , $>$ , $≤\le$ or $≥\ge$ .

The symbols $≤\le$ and $≥\ge$ include equality. For example, $x≤4x\le4$ allows $x = 4$ , while $x < 4$ does not.

When you multiply or divide an inequality by a negative number, you must reverse its direction.

Example

Solving an inequality

Solve $5−3x≤115-3x\le11$ .

Subtract 5 from both sides to obtain $−3x≤6-3x\le6$ .
Divide by negative 3. Because the divisor is negative, reverse the inequality: $x≥−2x\ge-2$ .
Check a value from the solution set, such as $x = 0$ : this gives $5≤115\le11$ , which is true.

Tip

Checking an inequality

Test one value inside your proposed solution set and one value outside it. This often reveals a reversed inequality sign or an incorrect interval endpoint.

Statements and truth values

Definition

Mathematical statement

A statement is a sentence that has a definite truth value: it is either true or false.

For example, “7 is prime” is a true statement, while “10 is odd” is false.

An open statement contains an unspecified variable, so its truth depends on that variable. The sentence “ $x > 3$ ” is open until a value or set of possible values for $x$ is given.

The negation of a statement $P$ , written “not $P$ ”, reverses its truth value. The negation of $x > 3$ is $x≤3x\le3$ , not merely $x < 3$ .

Implication

Definition

Implication

The notation $P⇒QP\Rightarrow Q$ means “if $P$ is true, then $Q$ must be true”. Here, $P$ is the hypothesis and $Q$ is the conclusion.

For example,

x>5⇒x>2.x>5\Rightarrow x>2.

The implication is true because every number greater than 5 is also greater than 2. The reverse implication is not true.

Example

Testing an implication

Consider the claim $n^2$ is even $⇒n\Rightarrow n$ is even, where $n$ is an integer.

Suppose $n$ were odd. Then it could be written as $n = 2 k + 1$ for some integer $k$ .
Squaring gives $n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1$ .
This result is odd, contradicting the statement that $n^2$ is even. Therefore, if $n^2$ is even, then $n$ must be even.

Converse and equivalence

The converse of $P⇒QP\Rightarrow Q$ is $Q⇒PQ\Rightarrow P$ . An implication and its converse are separate statements: one may be true while the other is false.

For example, $x=3⇒x2=9x=3\Rightarrow x^2=9$ is true, but its converse $x2=9⇒x=3x^2=9\Rightarrow x=3$ is false because $x = - 3$ is another possibility.

Definition

Equivalence

The notation $P⇔QP\Leftrightarrow Q$ means “ $P$ if and only if $Q$ ”. It states that both $P⇒QP\Rightarrow Q$ and $Q⇒PQ\Rightarrow P$ are true.

The phrase “if and only if” is sometimes shortened to iff.

For real $x$ ,

x2=0⇔x=0.x^2=0\Leftrightarrow x=0.

Both directions are true, so the statements are equivalent.

Common Mistake

Assuming the converse

Proving $P⇒QP\Rightarrow Q$ does not prove $Q⇒PQ\Rightarrow P$ . Test the converse separately, looking for a counterexample if you think it is false.

Necessary and sufficient conditions

The language of necessary and sufficient conditions describes an implication.

If $P⇒QP\Rightarrow Q$ , then:

$P$ is a sufficient condition for $Q$ : knowing $P$ is enough to guarantee $Q$ .
$Q$ is a necessary condition for $P$ : $P$ cannot be true unless $Q$ is also true.

Key Idea

Reading necessary and sufficient

In $P⇒QP\Rightarrow Q$ , the condition on the left is sufficient and the condition on the right is necessary.

If each statement is both necessary and sufficient for the other, then $P⇔QP\Leftrightarrow Q$ .

Quantifiers

A quantifier tells you how many values in a stated set satisfy a condition.

Definition

Universal quantifier

The symbol $∀\forall$ means “for all” or “for every”.

For example, $x2≥0\forall x\in\mathbb{R},\ x^2\ge0$ says that the square of every real number is non-negative.

Definition

Existential quantifier

The symbol $∃\exists$ means “there exists at least one”.

For example, $∃x∈R\exists x\in\mathbb{R}$ such that $x^2=4$ is true because values such as $x = 2$ satisfy the equation.

The order of quantifiers can change a statement’s meaning. “For every real $x$ , there exists a real $y$ such that $y > x$ ” is true. It allows a different choice of $y$ for each $x$ .

Negating quantified statements

To negate “all”, it is enough to say “at least one does not”. To negate “there exists”, you must say “none exists”.

Therefore:

The negation of “all values satisfy $P$ ” is “there exists a value that does not satisfy $P$ ”.
The negation of “there exists a value satisfying $P$ ” is “all values fail to satisfy $P$ ”.

Example

Negating a universal statement

Negate: “For every real number $x$ , $x^2>x$ .”

The original statement uses the universal quantifier: it claims the inequality holds for every real $x$ .
Its negation must assert the existence of at least one failure.
Reverse $x^2>x$ to $x2≤xx^2\le x$ . The negation is: “There exists a real number $x$ such that $x2≤xx^2\le x$ .” For example, $x = 0$ confirms this negation is true.

Sets and membership

A set is a collection of distinct objects, called its elements or members.

The notation $x∈Ax\in A$ means that $x$ belongs to set $A$ , while $x∉Ax\notin A$ means that it does not.

Common number sets include:

$N\mathbb{N}$ : natural numbers
$Z\mathbb{Z}$ : integers
$Q\mathbb{Q}$ : rational numbers
$R\mathbb{R}$ : real numbers

A subset is a set whose every element belongs to another set. The notation $A⊆BA\subseteq B$ means that $A$ is a subset of $B$ .

Set-builder notation

Set-builder notation describes a set using a condition:

{x∈R:x≥2}.\{x\in\mathbb{R}:x\ge2\}.

This means “the set of real numbers $x$ such that $x≥2x\ge2$ ”. A vertical bar may be used instead of the colon.

Interval notation

Intervals provide a compact way to describe continuous sets of real numbers:

$[a, b]$ means $a≤x≤ba\le x\le b$ .
$(a, b)$ means $a < x < b$ .
$[a, b)$ means $a≤x<ba\le x<b$ .
$(a, b]$ means $a<x≤ba<x\le b$ .

A square bracket includes an endpoint; a round bracket excludes it. Infinity is never an included endpoint, so it always takes a round bracket.

Example

Writing a solution set in different forms

Express $−1<x≤4-1<x\le4$ using set-builder and interval notation.

The variable is real, so set-builder notation is ${x∈R:−1<x≤4}\{x\in\mathbb{R}:-1<x\le4\}$ .
The endpoint $- 1$ is excluded, so use a round bracket there.
The endpoint 4 is included, so use a square bracket there. The interval is $(- 1, 4]$ .

Chaining mathematical reasoning

A chain of mathematics must preserve logical meaning at every line.

Use $=$ between expressions known to have equal values. Use $⇒\Rightarrow$ when one statement follows from another. Use $⇔\Leftrightarrow$ only when every step is reversible.

For example, when solving $x^2=9$ over the real numbers,

x=−3.x^2=9\Leftrightarrow x=3\text{ or }x=-3.

By contrast, squaring both sides of an equation can introduce additional solutions, so that operation may give only a one-way implication.

Common Mistake

Non-reversible operations

Exam technique

In the exam

State the relevant domain and restrictions, especially before dividing, taking a square root or using a denominator.
Use $=$ for equality, $⇒\Rightarrow$ for one-way implication and $⇔\Leftrightarrow$ only when the reasoning works in both directions.
Read words such as “all”, “some”, “necessary” and “sufficient” carefully; they determine the logical strength of the statement.
When a claim is false, give a specific counterexample that satisfies its assumptions but not its conclusion.

Self review

Check yourself

What is the difference between $P⇒QP\Rightarrow Q$ and $P⇔QP\Leftrightarrow Q$ ?
How would you negate “there exists a real number $x$ such that $x^2<0$ ”?
Write $2≤x<72\le x<7$ in both interval notation and set-builder notation.

What you'll learn

Why mathematical language matters

Expressions, equations and identities

Expressions

Equations

Identities

Inequalities

Statements and truth values

Implication

Converse and equivalence

Necessary and sufficient conditions

Quantifiers

Negating quantified statements

Sets and membership

Set-builder notation

Interval notation

Chaining mathematical reasoning

Review 1.1.2 Mathematical language and syntax by teaching Genie

1.1.2 Mathematical language and syntax

What you'll learn

Why mathematical language matters

Expressions, equations and identities

Expressions

Equations

Identities

Inequalities

Statements and truth values

Implication

Converse and equivalence

Necessary and sufficient conditions

Quantifiers

Negating quantified statements

Sets and membership

Set-builder notation

Interval notation

Chaining mathematical reasoning

Review 1.1.2 Mathematical language and syntax by teaching Genie

1.1.2 Mathematical language and syntax

What you'll learn

Why mathematical language matters

Expressions, equations and identities

Expressions

Equations

Identities

Inequalities

Statements and truth values

Implication

Converse and equivalence

Necessary and sufficient conditions

Quantifiers

Negating quantified statements

Sets and membership

Set-builder notation

Interval notation

Chaining mathematical reasoning

Review 1.1.2 Mathematical language and syntax by teaching Genie

1.1.2 Mathematical language and syntax Revision Guide

1.1.2 Mathematical language and syntax

What you'll learn

Why mathematical language matters

Expressions, equations and identities

Expressions

Equations

Identities

Inequalities

Statements and truth values

Implication

Converse and equivalence

Necessary and sufficient conditions

Quantifiers

Negating quantified statements

Sets and membership

Set-builder notation

Interval notation

Chaining mathematical reasoning

Review 1.1.2 Mathematical language and syntax by teaching Genie

1.1.2 Mathematical language and syntax Revision Guide