1. 谓词逻辑命题符号化

谓词逻辑命题符号化的3个基本要素：个体词、谓词和量词

1. 个体词
   1. 个体词：研究对象中可以独立存在的具体的或抽象的客体
   2. 个体常项：表示具体或特定的客气的个体词
   3. 个体变项：表示抽象或泛指的个体词
   4. 个体域：个体变项的取值范围
   5. 全总个体域：由宇宙间一切事物组成的个体域
2. 谓词：刻画个体词性质以及个体词之间相互关系的词

例题：将命题用谓词符号化，并讨论其真值

蕴含的真值：

1. 量词：个体之间数量关系的词
   1. 全称量词：任意的、所有的、每一个、凡
   2. 存在量词：存在、有一个、至少有一个

例题：使用量词进行符号化

2. 谓词逻辑公式及其解释

2.1 指导变元、辖域

2.2 谓词逻辑公式和命题公式的转换

3. 例题