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.