令谓词S(x):x是大学生,括号内填入不同的人名, 就得到不同的命题,故谓词S(x)相当于一个函数, 称之为命题函数。 定义:n元谓词P(x1,x2,…,xn)称之为简单命题函数。 规定:当命题函数P(x1,x2,…,xn)中n=0时,即0 元谓词,表示不含有客体变元的谓词,它本身就是 命题变元。 定义:将若干个简单命题函数用逻辑联结词联结起 来,构成的表达式,称之为复合命题函数。简单命 题函数与复合命题函数统称为命题函数。令谓词S(x):x是大学生，括号内填入不同的人名， 就得到不同的命题，故谓词S(x)相当于一个函数， 称之为命题函数。 定义：n元谓词P(x1,x2,…,xn)称之为简单命题函数。 规定：当命题函数P(x1,x2,…,xn)中 n=0 时，即0 元谓词，表示不含有客体变元的谓词，它本身就是 一个命题变元。 定义：将若干个简单命题函数用逻辑联结词联结起 来，构成的表达式，称之为复合命题函数。简单命 题函数与复合命题函数统称为命题函数