1. 客体
   1. 能独立存在的事物
   2. 语句的主语，宾语等名词性质的东西
   3. 客体变元
      1. x,y,z表示任何客体
      2. 不是客体
2. 谓词
   1. 描述客体性质或关系
      1. G(x,y)：表示 x>y
   2. P（x1,x2...xn）
      1. n元谓词
         1. 前边添加k个量词
            1. 变成n-k元谓词
      2. x1,x2……这些就是变元客体
   3. 论域
      1. 命题变元的取值范围
      2. 全总个体域
         1. 所有客体构成的论域
3. 谓词公式
   1. 原子谓词公式
      1. n元谓词
   2. 原子谓词公式+逻辑运算符
   3. 约束变元
      1. 在量词的辖域内
   4. 绑定变元
      1. 在量词的辖域内
      2. 被赋值
   5. 自由变元
      1. 自由形式出现
      2. 一个谓词公式没有自由变元
         1. 命题
   6. 变元的改名
      1. 某个客体以约束变元和自由变元两种性质出现
      2. 避免混淆
      3. 对约束变元改名
         1. 辖域内出现的都要改
      4. 对自由变元改名
         1. 代入
      5. Topic
4. 命题函数
   1. 简单命题函数
      1. 不是命题
      2. 没有明确真值
   2. 复合命题函数
      1. 简单命题+逻辑连接词
   3. 与谓词及谓词公式的区别
      1. 命题函数是具体的
      2. 谓词是对命题函数的抽象化，符号化
         1. 利于推理
5. 命题函数变成命题
   1. 对每个变元赋值
   2. 进行量化
6. 量词
   1. 对个体数量化的词
   2. 存在量词
      1. Topic
   3. 全称量词
      1. Topic
   4. 量词的否定
   5. 量词的辖域
      1. 量词的作用域
      2. Topic
7. 命题符号化
   1. 确定量词
   2. 引入变元和谓词
   3. 量词+谓词+逻辑连接符
8. 特征谓词
   1. 表达式与论域有关
   2. 客体变元的变化范围，用特性谓词加以限制。
   3. 全称量词后面是->
      1. Topic
      2. Topic
   4. 存在量词后面是∧
      1. Topic
      2. Topic
9. 谓词演算
   1. 对谓词公式复制
      1. 命题变元->确定的命题
      2. 客体变元->客体
   2. 谓词公式等价
      1. A<=>B
         1. A<->B永真
      2. 不论对AB做任何赋值。AB真值相同
   3. 谓词公式永真蕴含
      1. A=>B
      2. AB任何赋值，A->B永真
   4. 谓词公式的永真式
      1. 某公式在论域上永真
         1. I(x)：x是整数，论域E为自然数集合
      2. 命题公式中的命题绵远用谓词公式替换也成立
         1. A（x）=>A(x)VB(x)
      3. 量词否定公式
         1. Topic
      4. 量词辖域扩充公式
         1. Topic
            1. Topic
      5. 量词分配公式
         1. Topic
      6. Topic
      7. 量词嵌套
         1. 两个谓词
         2. 公式