逻辑学学习.9 --- 谓词逻辑（一）：谓词的基本概念

前面讨论的是命题逻辑和三段论逻辑，命题逻辑的范围局限于那些仅仅依据真值函项联结词的推论，三段论逻辑的范围限于那些仅仅依据量词的推论，而且仅仅限于这类推论的一小部分。而对于那些既依据真值函项联结词又依据量词的推论，命题逻辑和三段论逻辑都不能处理。例如下面一个推论：

[推论1]
任何大学生或者考试及格或者心情烦躁；
有些大学生考试不及格；
所以，有些大学生心情烦躁。

[推论1]是一个有效推论。一方面，它有真值函项联结词”或者“，一方面，它又有量词”任何“，”有些“，因此我们需要发展一种更加全面的逻辑系统，既能处理依据真值函项联结词的推论，又能处理依据量词的推论，而且还能处理既依据真值函项联结词又依据量词的推论。这样的逻辑理论叫做”谓词逻辑“。我们把谓词逻辑所处理的推论叫做”谓词推论“，命题推论是谓词推论的一部分。

一。谓词

谓词自然与谓语有联系，相当于谓语，通常，”…是…"，"…做…"，"…有…性质"，“…与…有…关系"等表示事物的性质或者动作或者属性或者关系的短语叫做”谓词“。

例如：
1）武汉大学是综合性大学。
2）武汉大学依山傍水。
3）泰山是雄伟的。
4）庐山是雄伟的。

上面，”…是综合性大学"，"…依山傍水“，"…是雄伟的"，是谓词
而主语”武汉大学“，”泰山“，”庐山“叫做个体词。

我们规定，用小写字母a至w表示个体常项（x,y,z表示个体变项）
用A（…）至Z（…）表示谓词，为大写字母后跟括号，括号内放置个体常项或者变项。
将上面四个命题的符号化：
Z（）：…是综合性大学
S（）：…依山傍水
X（）：…是雄伟的
w：武汉大学
t：泰山
l：庐山

然后写出上面四个命题的符号表达式：
1’） Z（w）
2’） S（w）
3’） X（t）
4’） X（l）

有些谓词表示两个或者多个个体之间的关系。