离散数学谓词逻辑1

谓词逻辑基础：谓词演算公式：闭式（若某一谓词公式中没有自由出现的个体变元，就是封闭的谓词公式，简称闭式）。

谓词逻辑

• 词
  • 个体词（客体）
    • 个体常元
    • 个体变元
  • 谓词（性质或关系）
    • 一元谓词
    • 二元谓词
    • n元谓词
    • 谓词常项（具体的谓词）
    • 谓词变项（抽象，泛指的谓词）
  • 量词
    • 全称量词
    • 存在量词
    • 例题
    • 当同时出现全称和存在量词时不可以随意调换顺序
    • 量词的指导变元和辖域
      • 辖域
        • 约束出现和约束变元
        • 自由出现和自由变元
          • 除约束出现之外的所有出现和变元都是
      • 例题
  • 个体域（个体词的取值范围）
    • 个体域（有某些限制条件的）
    • 全总个体域
      • 特定谓词的引入
      • 没有特定说明个体域就默认使用全总个体域
• 谓词表达式和命题函数
  • 谓词表达式
  • 命题函数
    • 命题函数中有个体变元
    • 个体变元有个体域（取值范围）
• 谓词演算公式
  • 没有个体变元就称为零元谓词公式
  • 零元谓词公式也称原子命题
  • 闭式（若某一谓词公式中没有自由出现的个体变元，就是封闭的谓词公式，简称闭式）
• 谓词公式的解释和分类
  • 解释
  • 分类
    • 永真式
    • 矛盾式
    • 可满足式
  • 代换实例
• 浮动主题
• 浮动主题