离散数学谓词逻辑2

离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。

谓词逻辑2

• 谓词逻辑等价式
  • 量词辖域扩张或缩小律
  • 量词分配律
• 前束范式
  • 定理
  • 规范
• 谓词逻辑的推理规则
  • 全称量词消去规则（UI）
    • 成立条件
  • 存在量词消去规则（EI）
    • 成立条件
  • 全称量词引入规则（UG）
    • 成立条件
  • 存在量词引入规则（EG）
    • 成立条件
• 错误与结论