引表达式，是由数字、算符、数字分组符号(括号)、自由变量和约束变量等以能求得数值的有意义排列方法所得的组合。约束变量在表达式中已被指定数值，而自由变量则可以在表达式之外另行指定数值。 给与自由变量一些数值指定，可能可以给与一个表达式数值，即使对于一些自由变量的值，表示式或许没有定义。因此，一个表达式代表一个函数，其输入为自由变量的定值，而其输出则为表示式因之后所产生出的数值。 举例来说，表达式x / y，分别使自由变量x和y定值为10和5，其输出为数字2；但在y值为0时则没有定义。 一个表达式的赋值和算符的定义以及数值的定义域是有关联的。 两个表达式若被说是等值的，表示对于自由变量任意的定值，两个表达式都会有相同的输出，即它们代表同一个函数。 一个表达式必须是合式的。亦即，其每个算符都必须有正确的输入数量，在正确的地方。如表达式2+3便是合式的；而表达式*2+则不是合式的，至少不是算术的一般标记方式。 表达式和其赋值曾在一九三○年代由阿隆佐·邱奇和Stephen Kleene在其Λ演算中被公式化。Λ演算对现代数学和电脑编程语言的发展都曾有过重大的影响。
二、表达式的分类
1、算术表达式：
算术表达式是最常用的表达式，又称为数值表达式。它是通过算术运算符来进行运算的数学公式。
2、逻辑表达式 逻辑运算的结果只有两个：True（真）和False（假）。
温馨提示：答案为网友推荐，仅供参考