谓词逻辑

谓词逻辑思维导图，包括谓词逻辑基本概念、谓词公式及解释、基本等价式与永真蕴含式、谓词演算推理逻辑、谓词范式等。

谓词逻辑

• 1.谓词逻辑基本概念
  • 1.个体、谓词与命题函数
    • 定义2-1
      • 个体
      • 谓词
      • 一元谓词
      • 多元谓词
    • 定义2-2
      • 个体常项
      • 个体常元
      • 个体变项
      • 个人变元
      • 个体域
      • 全总个体域
    • 定义2-3
      • 谓词常项
      • 谓词常元
      • 谓词变项
      • 谓词变元
    • 定义2-4
      • 命题函数
      • 一元命题函数
      • 多元命题函数
  • 2.量词
    • 全称量词
    • 存在量词
  • 3.特性谓词
• 2.谓词公式及解释
  • 谓词公式
    • 定义2-6（7种符号）
      • 个体常项
      • 个体变项
      • 函数符号
      • 谓词符号
      • 量词符号
      • 联结词符号
      • 括号及逗号
    • 定义2-7
      • 一阶谓词逻辑中项的递归定义
    • 定义2-8
      • 原子
    • 定义2-9
      • 谓词公式
    • 定义2-10
      • 辖域
      • 约束变元
      • 自由变元
  • 谓词公式的解释
    • 定义2-11
    • 定义2-12
      • 永真式（逻辑有效）
      • 永假式（矛盾式）
      • 可满足式
    • 定义2-13
      • 等价
      • 永真蕴含
• 3.基本等价式与永真蕴含式
  • (1)量词与联结词非之间的关系
  • (2)量词与合取和析取的关系
  • (3)量词与蕴含词之间的关系
  • (4)其他基本等价式和基本永真蕴含式
  • (5)多个量词的基本等价式和基本永真蕴含式
• 5.谓词演算推理逻辑
  • (1)全称指定规则（US）
  • (2)全称推广规则（UG）
  • (3)存在指定规则（ES）
  • (4)存在推广规则（EG）
• 4.谓词范式
  • 前束范式
    • 定义2-14
      • 前束范式
    • 定理
      • 定理2-1
      • 定理2-2
    • 前束合取范式
    • 前束析取范式
  • Skolem范式
    • 定义
    • 定理2-3