λ化简（λ reduction），文学-语言文字-计算语言学及语料库语言学-计算语言学，在语义自动分析中，变量由指定的一阶谓词逻辑项进行简单的字面替换并去掉的过程。形式为xP(x)的表达式，叫作表达式。这个表达式由三部分组成：希腊符号(读作“lambda”)，一个或多个变量x，使用这些变量的一阶谓词逻辑表达式P(x)。当表达式用于逻辑项时，可以生成新的一阶谓词逻辑表达式，其中的形式参数变量可以由指定的项来绑定，这个过程即为化简。具体来说，首先将一个表达式用于常量A，得到xP(x)(A)，然后对这个表达式进行化简，用指定的项A来替换P(x)中的形式参数变量x，得到P(A)：xP(x)(A)P(A)符号提供了在动词语义中需要的两种能力：①形式参数可以表达各种不同变量；②化简可以用项来替换这些变量。这样，就可以将一个表达式作为另一个表达式的一部分，如下所示：xyNear(x,y)这个表达式非常抽象，可以解释为某些事物x与另一些事物y彼此接近的状态。例如，可以用它来描述英语句子“Beijing Hotel is near Tian'anmen Square.”（北京饭店离天安门广场很近。