表達式

表达式（expression），此处是数学表达式（mathematical expression）的简称，在数学领域中是一些符号依据上下文的规则，有限而定义良好的组合。数学符号可用于标定常量、变量、操作、函数、括号、标点符号和分组，帮助确定操作顺序以及有其它考量的逻辑语法。Oxford English Dictionary, s.v. “Expression (n.), sense II.7,” "A group of symbols which together represent a numeric, algebraic, or other mathematical quantity or function."

表达式随语境或不同领域学科也称：表示式、数学式、运算式（operation expression）、表式、陳式、算式；数学术语若是复合词，表达式也常简作“式”；例如：代数式（algebraic expression）。

范例
表达式有简单的，例如：

   （线性多项式）
   （二次多项式）
   （有理分式）
也有复杂的：

各種表達式的分類列表
數學表達式的各種形式包括了算術、多項式、代數、閉合形式和解析的表達式。下表列出了這些種類中所可能包含的元素。

   算式
   多項式
   代數式
   閉合形式
   解析式
   數學表達式 常量            變數            四则运算            階乘            整數指數冪             N次方根              有理數冪              實數指數冪               對數               三角函數               反三角函数               双曲函数               反双曲函数               Γ函数                贝塞尔函数                特殊函數                连分数                級數                形式幂级数                 微分                 極限                 積分                

語法與語義
語法
表達式是一個句法結構，它必須具有良好定義的形式。表達式中的運算符必須在正確位置有正確的輸入數，組成這些輸入的字符必須是有效的，具有明確的運算次序等。違反語法規則的字符，不會構成有效的數學表達式。例如，在一般算術符號中，表達式是形式良好的，而则不是。

語義
表達式的語義是對語句意義的研究，邏輯語義學是關於所傳達的意義。在代數中，可用表達式指定一個值；而這個結果值取決於對式中變量所賦予的值，經由附加語義的運算符操作後以確定該值。語義的選擇則根據表達式的上下文。同一個表達式可能會有不同結果（依算數慣例的結果為7，也可能是9），這取決於上下文中隱含的運算次序。

語義規則可以聲明某些表達式並無指定值（例如，當它們除以0時）；對這表達式稱為未定義，但它們仍然以良好的形式表現出來。廣義來說，表達式的意義並不侷限於指定值；例如，表達式可用於指定條件，表示要被求解的方程，或將其視為可根據某些規則而操作的對象。有指定值的表達式同時也代表了有假設前提，例如與运算符有關的假設前提，會指定一個內部的直接和（direct sum）。

形式語言和lambda演算
表達式和其賦值曾在1930年代由阿隆佐·邱奇和在其演算中被公式化。演算對現代數學和電腦程式語言的發展都曾有過重大的影響。

演算有著一個更有趣的推論，在某些情況之下，兩個表達式的等值與否是無法決定的。而且這個推論在任一和演算有同樣功用的系統內也都是成立的。

變量
許多數學表達式中包括變量，變量又區分為自由變量或約束變量兩種。對於自由變量賦值的一給定組合，進行對表達式的評估，然而這些賦值的某些組合在評估整句表達式後的結果，可能沒有定義。因此一個表達式表示一個函數，其輸入是賦予自由變量的值，其輸出是表達式的結果值。

舉例來說，表達式 ，分別使自由變數  和  定值為  和 ，其輸出為數字 ；
但注意在  值為  時，則這表達式沒有定義。

數學表達式的評估取決於上下文背景對式中運算符的定義，賦值的定义域和評估結果的域。如果兩個表達式之中的變量，對於它們賦值的每一種組合都產生相同的輸出，則這兩個表達式被認定為相等，即它們實為相同的函數。

例如，表達式  有自由變數 、約束變數 、常數 、兩個內含的乘法算符和一個總和算符。
此一表達式和另一較簡單的表達式  相等。 時的值為 。

 參見 
 表达式 (程式)
 代数闭包
 組合子邏輯
 函數式編程
 數學公式
 方程式
 不等
 恆等式

 参考资料 

 外部連結 
 Axiomatic Theory of Formulas - theory of expressions on high abstraction level.
 Plot mathematical expressions  this system plots math equations, graphs, diagrams, and even animated cartoons of transformation of math expressions and arithmetic operations. Knowledge of TeX not required.

Category:抽象代数
Category:逻辑表达式
Category:初等代数