Expression
From AoPSWiki
This article is a stub. Help us out by expanding it.
In mathematics, an expression is any meaningful combination of symbols. What this means exactly varies depending on the mathematical context. For instance, arithmetic expressions typically consist of numbers, variables, and operators, arranged in a sensible way. Thus, 
is an arithmetic expression, while 
is not.
Again depending on context, one is often interested in finding equivalences between expressions of various sorts. In standard arithmetic, for instance, the two expressions 
is equivalent to the expression 
. This is represented by the use of an equal sign, 
. In other branches of mathematics, other symbols are sometimes used, especially the symbol 
.
Note that in arithmetic, an equality like the one above is not an expression. In mathematical logic, however, arithmetic equations often are expressions. For instance, 
is a valid expression in Peano arithmetic (with a proper interpretation of symbols), and is logically equivalent to the expression 
. We might write this equivalence of expressions as 
. Just like the equality of two arithmetic expressions is not an arithmetic expression, this equivalence of logical expressions is not a logical expression.
