文章目录
谓词逻辑
- 谓词逻辑
-
- 客体与客体变元
- 谓词
- 命题函数
- 论域
- 量词
- 谓词公式
-
- 客体函数
- 谓词公式
- 自由变元与约束变元
- 命题的符号化
- 含有两个量词的谓词逻辑公式
- 前束范式
- 谓词逻辑推理
推荐阅读：命题逻辑
客体与客体变元客体(个体)是能够独立存在的事物。客体可以是具体的事物，也可以是抽象的事物。客体通常用小写英文字母 a a
