Editing Expression (mathematics) (section)

===Logical expression===
In [[mathematical logic]], a ''"logical expression"'' can refer to either [[Term (logic)|terms]] or [[Well-formed formula#Predicate logic|formulas]]. A term denotes a mathematical object while a formula denotes a mathematical fact. In particular, terms appear as components of a formula.

A [[first-order logic|first-order]] term is [[recursive definition|recursively constructed]] from constant symbols, variables, and [[function symbol (logic)|function symbols]].
An expression formed by applying a [[predicate (logic)|predicate symbol]] to an appropriate number of terms is called an [[atomic formula]], which evaluates to [[Truth#Truth in mathematics|true]] or [[False (logic)|false]] in [[Principle of bivalence|bivalent logics]], given an [[interpretation (logic)|interpretation]].
For example, {{tmath|(x+1)*(x+1)}} is a term built from the constant 1, the variable {{mvar|x}}, and the binary function symbols {{tmath|+}} and {{tmath|*}}; it is part of the atomic formula {{tmath|(x+1)*(x+1) \ge 0}} which evaluates to true for each [[real number|real-numbered]] value of {{mvar|x}}.