Skip to content

Expressions and Terms: Formal Discussion with Backus-Naur Form

In mathematics, expressions and terms are fundamental components used to build equations and formulas. Understanding their structure and properties is crucial for algebraic manipulation and solving problems. Below, we discuss the formal definitions, notations, and properties of expressions and terms, with a special focus on Backus-Naur Form (BNF) for illustrating their structure.

1. Definitions and Notations

Expressions

  • Definition: An expression is a combination of variables, constants, operators, and functions that represents a value. It does not include an equals sign and can be evaluated to yield a numerical result.
  • Components:
    • Variables: Symbols that represent unknown values (e.g., \( x, y, z \)).
    • Constants: Fixed numerical values (e.g., \( 3, -7, \pi \)).
    • Operators: Symbols representing operations (e.g., \( +, -, \times, \div \)).
    • Functions: Expressions involving mathematical functions (e.g., \( \sqrt{x}, \sin(x) \)).

Example: \( 3x^2 + 5x - 7 \)

Terms

  • Definition: A term is a single mathematical expression that can be a constant, a variable, or a product of constants and variables. Terms are the building blocks of expressions.
  • Types:
    • Constant Term: A term with no variable component (e.g., \( -7 \)).
    • Variable Term: A term consisting only of a variable (e.g., \( x \)).
    • Polynomial Term: A product of variables and constants (e.g., \( 3x^2 \)).
    • Coefficient: The numerical factor in a term (e.g., in \( 4x^3 \), 4 is the coefficient).
    • Degree: The exponent of the variable in a term (e.g., in \( 5x^2 \), the degree is 2).

Example: In the expression \( 3x^2 + 5x - 7 \):

  • Terms: \( 3x^2 \), \( 5x \), and \( -7 \)

2. Backus-Naur Form (BNF) for Expressions and Terms

Backus-Naur Form is a notation used to formally describe the syntax of languages, including mathematical expressions. It provides a clear and precise way to define the structure of expressions and terms.

Expression Definition in BNF

In BNF, an expression can be defined using the following syntax:

<expression> ::= <term> | <expression> <operator> <term>
<term>       ::= <factor> | <term> <operator> <factor>
<factor>     ::= <number> | <variable> | <function> | <parentheses>
<operator>   ::= + | - | * | /
<function>   ::= sqrt | sin | cos | tan
<parentheses>::= ( <expression> )
<number>     ::= [0-9]+
<variable>   ::= x | y | z | ...
  • : An expression can be a single term or a combination of terms connected by operators.
  • : A term can be a single factor or a combination of factors connected by operators.
  • : Factors can be numbers, variables, functions, or expressions within parentheses.
  • : Operators include addition, subtraction, multiplication, and division.
  • : Functions include mathematical operations like square root and trigonometric functions.
  • : Used to group expressions and control the order of operations.

Example: The expression \( (3x + 2) \times \sqrt{y} \) in BNF:

<expression> ::= <term> * <factor>
<term>       ::= <parentheses>
<factor>     ::= <function>
<parentheses>::= ( <expression> )
<function>   ::= sqrt

Term Definition in BNF

In BNF, a term can be defined as follows:

<term> ::= <factor> | <term> <operator> <factor>
<factor> ::= <number> | <variable> | <parentheses>
<operator> ::= * | /
<parentheses> ::= ( <expression> )
<number> ::= [0-9]+
<variable> ::= x | y | z | ...
  • : A term consists of factors connected by multiplication or division operators.
  • : Factors can be numbers, variables, or expressions within parentheses.
  • : Operators include multiplication and division.

Example: The term \( 4x^2 \) in BNF:

<term> ::= <factor> * <factor>
<factor> ::= <number> | <variable>
<number> ::= 4
<variable> ::= x

3. Examples and Non-Examples

Examples of Expressions

  1. Polynomial Expression:

    • \( 2x^3 - 4x^2 + 5x - 6 \)
    • Terms: \( 2x^3 \), \( -4x^2 \), \( 5x \), \( -6 \)

  2. Rational Expression:

    • \( \frac{3x^2 + 2x - 5}{x - 1} \)
    • Numerator Terms: \( 3x^2 \), \( 2x \), \( -5 \)
    • Denominator Term: \( x - 1 \)

  3. Trigonometric Expression:

    • \( \sin(x) + \cos(x) \)
    • Terms: \( \sin(x) \), \( \cos(x) \)

Examples of Terms

  1. Single Term:

    • \( 7y \)
    • Components: Coefficient: 7, Variable: \( y \)

  2. Polynomial Term:

    • \( -3x^4 \)
    • Components: Coefficient: -3, Variable: \( x \), Degree: 4

  3. Constant Term:

    • \( 12 \)
    • Components: No variable component

Non-Examples

  1. Not an Expression:

    • \( x = 5 \) (This is an equation, not an expression)

  2. Not a Term:

    • \( 3x + 2 \) (This is an expression, not a single term)

  3. Not a Polynomial Term:

    • \( \frac{4}{x} \) (This is a rational term, not a polynomial term)

Summary

Expressions and terms are fundamental components in mathematics, used to build more complex structures like equations and formulas. Expressions represent combinations of variables, constants, and operators, while terms are the individual building blocks of expressions. Using Backus-Naur Form (BNF) provides a formal and precise way to describe the structure of expressions and terms, facilitating their understanding and manipulation. By mastering these concepts, one gains a deeper insight into algebraic operations and mathematical reasoning.

References:

  • Books:

    • Smith, D. (2014). Basic Algebra and Geometry. Cengage Learning.
    • Blitzer, R. (2018). Algebra and Trigonometry. Pearson.

  • Online: