定义由一个或n个简单命题函数以及逻辑联结词 组合而成的表达式称为复合命题函数。 简单命题函数和复合命题函数,统称为命题 函数。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 定义 由一个或n个简单命题函数以及逻辑联结词 组合而成的表达式称为复合命题函数。 简单命题函数和复合命题函数，统称为命题 函数
2-2命题函数与量词 逻辑联结词-、∧、∨、 与命题演算中的 解释完全相同 例如:S(x):x学习好 W(x):x工作好 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 逻辑联结词┐、 ∧、 ∨、 →、 与命题演算中的 解释完全相同。 例如：S（x）：x学习好 W（x）：x工作好 2－2 命题函数与量词
m元谓词不是命题,只有其中的个体变元用特定 个体或个体常元替代时,才能成为一个命题。 但个体变元在哪些论域取特定的值,对命题的 真值极有影响。例如,令Sx):是大学生。 若x的论域为某大学的计算机系中的全体同学, 则S刈是真的;若x的论域是某中学的全体学 生,则只刈是假的;若x的论域是某剧场中的 观众,且观众中有大学生也有非大学生的其它 观众,则只刈是真值是不确定的。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn n元谓词不是命题，只有其中的个体变元用特定 个体或个体常元替代时，才能成为一个命题。 但个体变元在哪些论域取特定的值，对命题的 真值极有影响。例如，令S(x)：x是大学生。 若x的论域为某大学的计算机系中的全体同学， 则S(x)是真的；若x的论域是某中学的全体学 生，则S(x)是假的；若x的论域是某剧场中的 观众，且观众中有大学生也有非大学生的其它 观众，则S(x)是真值是不确定的
例如 P(xy)∧P(yz))→P(Xz) Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 例如 ( P（x,y） ∧ P（y,z）) → P（x,z）
命题函数确定为命题,与客体变元的论述 范围有关。在命题函数中,客体变元的 论述范围称作个体域。个体域可以是有 限的,也可以是无限的,把各种个体域 综合在一起作为论述范围的域称全总个 体域。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 命题函数确定为命题，与客体变元的论述 范围有关。在命题函数中，客体变元的 论述范围称作个体域。个体域可以是有 限的，也可以是无限的，把各种个体域 综合在一起作为论述范围的域称全总个 体域