Unit 2 Language of Mathematics
Mathematics Language and Symbols
2.1 Mathematics as Language
Mathematics has its own language with the following defining characteristics:
Precise; Concise; Powerful
Language is a system of conventional symbols (spoken, signed, or written) used by members of a social group to express ideas within a culture.
In mathematics, the language is designed to express ideas about quantities, structures, relations, and operations with exact meaning.
Purpose of mathematical language:
To convey complex ideas clearly and unambiguously
To enable reasoning, proof, and communication across disciplines and languages
Commonly used symbols in mathematics (high-level overview):
Symbols for operations and relations
\cup : Union of sets
\cap: Intersection of sets
\in: Element of (meaning something belongs to a set)
\notin: Not an element of (meaning something does not belong to a set)
\subseteq: Subset of (meaning all elements of one set are also in another, including the possibility of being identical)
=: Equality
\neq: Inequality (not equal to)
\times, \cdot, \div: Multiplication / division
\infty: Infinity
<: Less than
>: Greater than
\leq: Less than or equal to
\geq: Greater than or equal to
\sqrt{\ }: Square root
\pm: Plus-minus (meaning either addition or subtraction)
\Delta: Delta (often represents change or a triangle)
\forall: Universal quantifier (meaning "for all" or "for every")
\exists: Existential quantifier (meaning "there exists")
\emptyset: Empty set (a set containing no elements)
\to, \rightarrow: Implies / mapping (meaning "leads to," "maps to," or "if…then")
\Rightarrow: Implies (a stronger form of implication)
\Leftrightarrow: If and only if (meaning two statements are logically equivalent)
\sum, \Sigma: Summation (used for summing a series of numbers)
\angle: Angle
\perp: Perpendicular (meaning at a right angle)
\nabla: Nabla (often used in vector calculus)
{}: Braces, used for grouping elements in a set
(): Parentheses, used for grouping expressions or specifying order of operations
[]: Brackets, also used for grouping or intervals
\dots: Ellipses (indicating more items to follow or a continuation)
\end{proof}, Q.E.D. (or \blacksquare): End of proof (symbols used to mark the conclusion of a mathematical proof)
Brackets and braces are used for grouping and clarity: \left( \right), {}, []
Symbols also include notation for numbers and sets, which will be detailed next under 2.2–2.3.
The language of mathematics enables universal communication—rules are standardized so that a symbol means the same thing everywhere, independent of natural language.
2.2 Sets
A set is a well-defined collection of objects. Notation and symbols used:
A \cup B: Union of sets A and B (all elements in A OR B or both)
A \cap B: Intersection of sets A and B (all elements common to both A AND B)
x \in A: x is an element of A
x \notin A: x is not an element of A
A \subseteq B: A is a subset of B (all elements of A are in B)
A \subset B: A is a proper subset of B (all elements of A are in B, and B contains at least one element not in A)
Quantifiers related to sets and statements:
Existential quantifier: \exists x \in S : There exists an x in S
Universal quantifier: \forall x \in S: For all x in S
Common sets of numbers:
Natural numbers: \mathbb{N} ({1,2,3,…} or sometimes {0,1,2,3,…})
Natural numbers including zero: sometimes \mathbb{N}_0 or a variant \mathbb{N} \cup {0}
Integers: \mathbb{Z} ({…, -2, -1, 0, 1, 2,…})
Rational numbers: \mathbb{Q} (numbers that can be expressed as a fraction \frac{p}{q} where p, q are integers and q \neq 0)
Real numbers: \mathbb{R} (all rational and irrational numbers)
Complex numbers: \mathbb{C} (numbers of the form a + bi where a, b are real numbers and i is the imaginary unit)
Set-builder language (examples):
The real numbers x with x > 0: { x \in \mathbb{R} : x > 0 }
Logical flow in sets and implications:
If A implies B, this can be written as A \rightarrow B or in natural language "If A, then B."
If and only if: A \Leftrightarrow B (meaning A is true precisely when B is true)
Examples from slide content:
The set of natural numbers: \mathbb{N}
The set of integers: \mathbb{Z}
The set of rational numbers: \mathbb{Q}
The set of real numbers: \mathbb{R}
The set of complex numbers: \mathbb{C}
Other set-related notions:
The empty set: \emptyset
The subset relation: A \subseteq B
The union and intersection operations: A \cup B,\; A \cap B
2.3 Elementary Logic
Core logical symbols and their meanings:
Conjunction: A \land B (A and B - true only if both A and B are true)
Disjunction: A \lor B (A or B - true if A is true, or B is true, or both are true)
Negation: \neg A (Not A - expresses the opposite truth value of A)
Implication: A \rightarrow B (If A, then B - true unless A is true and B is false)
Equivalence / biconditional: A \leftrightarrow B (A if and only if B - true if A and B have the same truth value)
Universal quantifier: \forall x \in S\, P(x) (For all x in S, P(x) holds)
Existential quantifier: \exists x \in S\, P(x) (There exists an x in S such that P(x) holds)
End of proof: symbol often used is \square (QED)
Notation related to logic tables and truth values:
Facts or fiction task: true/false evaluation of statements represented by logical formulas
Variables and their usage:
Fixed variables (typically early alphabet): a, b, c, \dots used as constants in examples
Subscripts and superscripts for variable differentiation: e.g., (a_x)^n or (5x^2)^6
Unknown variables (often late alphabet): x, y, z, \dots
Relationships between algebra and logic symbols:
Expressions like a+b=b+a illustrate commutativity of addition, which is a basic algebraic property linked to logical equivalence in proofs
The binary operation notation: a \cdot b,\; a \oplus b,\; a+b
Sets and logic in the broader context:
Symbols connect to the concept of “membership” (x ∈ A), and the idea of constructing statements about sets and their elements
The logical framework underpins mathematical proof, theorem statements, and derivations
Translation: Words into Mathematical Symbols
The idea is to translate common phrases into symbolic form:
The sum of a number and 10 -> x + 10
The product of two numbers -> ab
The product of -1 and a number -> (-1) \cdot x = -x
One-half times the sum of two numbers -> \tfrac{1}{2}\,(x+y)
English vs. Mathematics Language
English language uses nouns, verbs, and complete sentences to express meaning; mathematics uses symbols to express relationships, formulas, and logical structure.
Distinctions captured in slides:
English sentence vs mathematical equation
English words vs mathematical symbols and notation
Examples of English sentences (nouns and verbs) vs mathematical expressions (symbols and relationships):
English: "Juan lives in Pampanga." → Math: an expression or a statement like 3+4=7
English: "I love Math." → Math: an expression like a+b=c (a relation among symbols)
In math, a “sentence” (a complete assertion about truth) often takes the form of an equation or a statement that can be true or false, whereas an “expression” is a combination of symbols that may not express a complete assertion on its own (e.g., 3+4 or ab).
The translation exercises establish that many everyday phrases map to precise symbolic forms, enabling rigorous manipulation and proof.
Symbols: Set of Numbers (notation overview)
Number sets and their standard notations:
Natural numbers including zero: \mathbb{N}_0 = {0,1,2,3,4,\dots}
Natural numbers (often excluding zero): \mathbb{N} = {1,2,3,4,\dots}
Integers: \mathbb{Z}
Rational numbers: \mathbb{Q}
Real numbers: \mathbb{R}
Complex numbers: \mathbb{C}
Basic arithmetic symbols and their meaning:
Addition: +
Subtraction: -
Multiplication: \times, \cdot
Division: \div
Equality: =
Inequality: \neq, >, <, \geq, \leq
Exponentiation: ^{} (as in a^b)
Square root: \sqrt{\ }
Notation for operations on sets and numbers:
Sum of a sequence: \sum (summation)
Parsing of numbers and symbols uses standard algebraic conventions (order of operations, parentheses for grouping, etc.)
Common mathematical groupings:
Parentheses: ()
Braces: {}\,
Brackets: []
Practical implications:
Sets of numbers are foundational in analysis, number theory, and applied math
Clear notation enables precise communication of problem statements and solutions
Translating Words into Symbols: Quick reference
The sum of a number and 10: x+10
The product of two numbers: ab
The product of -1 and a number: (-1)\cdot x = -x
One-half times the sum of two numbers: \tfrac{1}{2}\,(x+y)
Connections and implications
Foundational principles linked to the notes:
Mathematics as a precise language mirrors logical structure in proofs and algorithms
Sets and logic provide the formal basis for reasoning, classification, and formal deduction
Real-world relevance:
The symbolic language underpins computer science, data analysis, engineering, economics, and natural sciences
Universal notation allows researchers worldwide to share results unambiguously
Ethical and practical implications:
Precision reduces misinterpretation but requires careful learning of notation
Overreliance on symbols without understanding underlying concepts can hinder critical thinking; the goal is to use symbols to clarify, not obscure, meaning
Quick reference: Key symbols (recap)
Union: \cup, Intersection: \cap
Element of: \in, Not element: \notin
Subset: \subseteq, Proper subset: \subset
Equality/Inequality: =, \neq, <, >, \leq, \geq
Logical connectives: \land, \lor, \neg
Implication / Biconditional: \to, \Leftarrow, \leftrightarrow
Quantifiers: \forall, \exists
Sets of numbers: \mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}
Special sets and symbols: \emptyset, \infty, \sqrt{ }, \sum, \int, \Delta, \angle, \perp
End-of-proof: \blacksquare or Q.E.D.