谓词逻辑基本概念

  • 原子命题
    • 客体
      • 不依人们主观而存在的客观实体.具体事物或抽象概念.
    • 谓词
      • 描述客体的性质或特征,或客体间的关系的词.

基于谓词分析的逻辑,称为谓词逻辑,它是命题逻辑的扩充和发展。

谓词

  • 命题一般是由主语和谓词两部分组成如：
    • 小王是老师
    • 小李是老师

其中小王和小李是主语，可独立存在

谓语相同：“是老师”，描述了小王和小李的共同特征。要表示多个客体之间的关系，可引入多个客体的谓词来表示

分类

一元谓词

P：男男是大学生 Q：毛毛是大学生 S(x): x是大学生男男是大学生 S(a) a:男男毛毛是大学生 S(c) c:毛毛

谓词公式翻译

约束变元与自由变元

谓词公式的等价变换和蕴含式

谓词逻辑的推理理论