# 谓词逻辑

> 谓词：描述对象属性或关系的表达式。

- ID: m12233
- 分类: structure
- 领域: 逻辑学

## 定义

谓词：描述对象属性或关系的表达式。量词：全称（∀）和存在（∃）量词。表征：用谓词逻辑形式化知识。脚手架作用：精确的逻辑表达。比命题逻辑更强大，能表达对象、属性和关系，是知识表示和自动推理的基础。

## 机制

在命题逻辑之上引入个体、谓词与量词（∀、∃），能表达"对象具有某属性/关系"与"对所有/存在某对象"，表达力强得多。

## 练习

把知识写成"谓词(个体)"与量词公式；用一阶逻辑形式化规则以便自动推理；检查量词辖域避免歧义。

## 脚手架用法

精确的逻辑表达。比命题逻辑更强大，能表达对象、属性和关系，是知识表示和自动推理的基础。

[阅读网页](https://thinkingmodels.site/entries/detail/m12233)