命题函数

命题函数,在逻辑，一种以一种形式表达的语句，其形式将呈现为价值真或假，如果不是因为它里面的表象变量x(或多个变量)，这使得语句不确定，只要没有为变量指定明确的值。表示为数学的函数，一个（x)或一个(x₁, x₂，···，x_n)，命题函数是命题形式(或谓词)的抽象。例如，”x是小的，”xIst klein "和"x“不大”都是命题形式。用某种名词(或值)代替x产生一个特定的命题，这个命题不是真就是假，但是x“小”本身有没有真实价值．从这三种命题形式中抽象出一个命题函数一个（x)，它的值为truex取值mouse，当为falsex是大象。

命题函数允许处理in数理逻辑命题的真理其中之一是或有在可变成分上。