一、谓词逻辑研究的内容
二、个体词，谓词，量词。
三、命题符号化
第二章 谓词逻辑
谓词逻辑基本概念
重点：1、掌握个体词，谓词，量词的有关概念，
2、掌握在谓词逻辑中的命题符号化。
在命题逻辑中，有些问题得不到解决
例如：判断以下推理是否正确：
凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。
这是著名的“苏格拉底三段论”，若用 
分别表示以上3个命题，推理形式为 
，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。
因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即谓词逻辑(又称谓词逻辑)。
1、个体词，谓词
例如：李华是大学生。
是无理数。
小王比小明高。
其中“李华”，“ 
”，“小王”，“小明”称个体词，“…是大学生”，“…是无理数”，“…比…高”称谓词。
(1)个体词——简单命题中表示主体或客体的词(由名词组成)。
个体域(或称论域)——个体变项取值的范围。
(2)谓词——刻画个体词的性质或个体词之间关系的词。
元谓词(用 
表示)——表示
个个体词
间的关系的谓词。
如 
：
比
高。其中
是二元谓词， 
为个体词。 
：小王，
：小明，
：小王比小明高。 中的个体词是 
(常项)，将不带个体变项的谓词称0元谓词，命题逻辑中的简单命题都可以用0元谓词表示。
例如：李华是大学生，
小明是大学生。
：
是大学生，
一元谓词
：李华 个体常项
：小明 个体常项
分别表示李华，小明是大学生，它们是0元谓词。
2、量词——表示数量的词。
自然语言中的“一切”，“所有的”，“任意的”，“有些”，“存在着”，“有一个”，“至少有一个”等都是量词。
使用量词时，应注意以下6点：
(1) 在不同个体域中，命题符号化的形式可能不一样，
(2) 一般，除非有特别说明，均以全总个体域为个体域，
(3) 在引入特性谓词后，使用全称量词用“ 
”，使用存在量词用“ 
”，
(4) 元谓词化为命题至少需要 个量词，
(5)当个体域为有限集时，如 
，则
(6) 多个量词同时出现时，不能随意颠倒顺序。
例1、在谓词逻辑中将下面命题符号化。
(1) 所有的有理数均可表成分数。
解：因无指定个体域，则以全总个体域为个体域。
：
为有理数， ：
可表成分数，
。
(2) 有的有理数是整数。
解： ：
为有理数， 
：
为整数，
注：若本题指定的个体域为有理数集，则(1)，(2)分别符号化为 
和
。
例2、在谓词逻辑中将下列命题符号化。
(1) 凡偶数均能被2整除。
解： ：
是偶数，
：
能被2整除，
。
(2) 存在着偶素数。
解： ：
是偶数，
：
是素数，
(3) 没有不犯错误的人。
解： 
：
是人，
：
犯错误，
原命题即：“每个人都犯错误”。又可符号化为：
(4) 在北京工作的人未必是北京人。
解： ：
是在北京工作的人， ：
是北京人，
(5) 尽管有些人聪明，但未必一切人都聪明。
解： ：
是人，
：
聪明，
(6) 每列火车都比某些汽车快。
某些汽车比所有的火车慢。
解： ：
是火车，
：
是汽车，
：
比
快，
第一句为： 
或 
第二句为： 
或 