高等学校21卌纪教材 当n=1时,称一元谓词;当n=2时,称为二 元谓词,…。特别地,当n=0,称为零元谓词。 零元谓词是命题,这样命题与谓词就得到了统 PT PRESS 人民邮电出版社
当n=1时，称一元谓词；当n=2时，称为二 元谓词，…。特别地，当n=0，称为零元谓词。 零元谓词是命题，这样命题与谓词就得到了统 一
高等学校21卌纪教材 n元谓词不是命题,只有其中的个体变元用 特定个体或个体常元替代时,才能成为一个命 题。但个体变元在哪些论域取特定的值,对命 题的真值极有影响。例如,令S(x):x是大学生。 若x的论域为某大学的计算机系中的全体同学, 则S(x)是真的;若x的论域是某中学的全体学生, 则S(x)是假的;若x的论域是某剧场中的观众, 且观众中有大学生也有非大学生的其它观众, 则S(x)是真值是不确定的。 PT PRESS 人民邮电出版社
n元谓词不是命题，只有其中的个体变元用 特定个体或个体常元替代时，才能成为一个命 题。但个体变元在哪些论域取特定的值，对命 题的真值极有影响。例如，令S(x)：x是大学生。 若x的论域为某大学的计算机系中的全体同学， 则S(x)是真的；若x的论域是某中学的全体学生， 则S(x)是假的；若x的论域是某剧场中的观众， 且观众中有大学生也有非大学生的其它观众， 则S(x)是真值是不确定的
高等学校21卌纪教材 通常,把一个n元谓词中的每个个体的论域 综合在一起作为它的论域,称为n元谓词的全总 论域。定义了全总论域,为深入研究命题提供 了方便。当一个命题没有指明论域时,一般都 从全总论域作为其论域。而这时又常常要采用 个谓词如P(x)来限制个体变元x的取值范围, 并把P(x)称为特性谓词。 PT PRESS 人民邮电出版社
通常，把一个n元谓词中的每个个体的论域 综合在一起作为它的论域，称为n元谓词的全总 论域。定义了全总论域，为深入研究命题提供 了方便。当一个命题没有指明论域时，一般都 从全总论域作为其论域。而这时又常常要采用 一个谓词如P(x)来限制个体变元x的取值范围， 并把P(x)称为特性谓词
高等学校21卌纪教材 3.量词 利用n元谓词和它的论域概念,有时还是不 能用符号来很准确地表达某些命题,例如S(x) 表示x是大学生,而x的个体域为某单位的职工, 那么S(x)可表示某单位职工都是大学生,也可 表示某单位有一些职工是大学生,为了避免理 解上的歧义,在Lp中,需要引入用以刻划“所 有的”、“存在一些”等表示不同数量的词, 即量词,其定义如下: PT PRESS 人民邮电出版社
３.量词 利用n元谓词和它的论域概念，有时还是不 能用符号来很准确地表达某些命题，例如S(x) 表示x是大学生，而x的个体域为某单位的职工， 那么S(x)可表示某单位职工都是大学生，也可 表示某单位有一些职工是大学生，为了避免理 解上的歧义，在Lp中，需要引入用以刻划“所 有的”、“存在一些”等表示不同数量的词， 即量词，其定义如下：
高等学校21卌纪教材 定义21.4①符号Ⅴ称为全称量词符,用来 表达“对所有的”、“每一个”、“对任何 个”、“一切”等词语;x称为全称量词,称x 为指导变元。 ②符号彐称为存在量词符,用来表达“存在 些”、“至少有一个 对于一些” “某个”等词语;丑x称为存在量词,x称为指导 变元。 PT PRESS 人民邮电出版社
定义2.1.4 ①符号称为全称量词符，用来 表达“对所有的”、“每一个”、“对任何一 个”、“一切”等词语；x称为全称量词，称x 为指导变元。 ②符号称为存在量词符，用来表达“存在 一些”、“至少有一个”、“对于一些”、 “某个”等词语；x称为存在量词，x称为指导 变元