谓词和量词

一、个体词和谓词

命题是一句陈述句，命题由个体词和谓词组成。

个体词是句子中的主语部分，比如这里的王童。

谓词是句子里的剩余部分，比如是一个三好学生

个体词用小写字母表示，谓词用大写字母＋（）表示，（）里写小写字母。

每个命题都可以化成这种形式

二、量词

存在，任意  都是量词，当表达式里面存在量词，为了表述方便，把个体域定义为全局个体域，把个体定义成特性谓词。

出现了存在、任意这种量词，这时候要添加特性谓词。

如果出现任意，两个特性谓词用蕴含连接

如果出现存在，两个特性谓词用合取连接 

如果个体域是由有限的元素组成的，那么可表示为

没有任意这种词就不要特性谓词，直接定义变量 

这里没有量词，就不用定义  “x是周红”   这种

项：常量符号和变量符号是项，把项放到函数变量的位置，得到的函数也是项

比如上面这个，x,y,z都是变量，是项，所以包含这些项的函数也是项 

注意：

1、一个个体词前面只能有一个量词进行约束

2、当量词的辖域里有好几个式子，式子外面的括号不能省略

这个式子里x的辖域是两个式子，括号不能省