谓词逻辑简介
← 返回逻辑计算器介绍
谓词逻辑，也称为一阶逻辑或谓词演算，是命题逻辑的强大扩展，允许我们对对象、其属性以及对象之间的关系进行推理。虽然命题逻辑将陈述视为原子单元，但谓词逻辑提供了查看陈述内部并表达其内部结构的能力。
这种表达能力使谓词逻辑对数学、计算机科学、人工智能、语言学和形式验证至关重要。它为描述数学结构、数据库查询、软件规范和知识表示系统提供了逻辑基础。
命题逻辑的局限性
命题逻辑虽然对完整陈述的推理很有用，但在我们需要表达概括、对象属性或关系时有重大限制。在命题逻辑中，像"苏格拉底是人"和"柏拉图是人"这样的陈述必须表示为单独的、不相关的命题（P和Q），即使它们共享共同的结构。
命题逻辑无法表达涉及"所有"、"某些"、"每个"或"存在"的陈述。它无法捕获"所有人都是会死的"和"苏格拉底是人"之间的逻辑关系，这应该逻辑地推出"苏格拉底是会死的。"这就是谓词逻辑变得至关重要的地方。
限制示例
考虑陈述"所有人都是会死的。"在命题逻辑中，我们只能将其表示为单个命题H。但这无法捕获涉及"所有人"和"会死"属性的内部结构。谓词逻辑允许我们更精确地表达为∀x (Human(x) → Mortal(x))。
谓词
谓词是可以归属于一个或多个对象的属性或关系。将谓词视为以对象为输入并返回真值（真或假）作为输出的函数。谓词允许我们表达对象的属性和对象之间的关系。
谓词用大写字母后跟括号中的一个或多个参数表示。例如，P(x)表示"x具有属性P"，而R(x, y)表示"x通过关系R与y相关联。"
谓词示例
- Human(x) - "x是人"（一元谓词，一个参数）
- GreaterThan(x, y) - "x大于y"（二元谓词，两个参数）
- Between(x, y, z) - "x在y和z之间"（三元谓词，三个参数）
- Prime(n) - "n是素数"（一元谓词）
量词
量词是指定话语域中谓词成立的标本数量的特殊符号。两个基本量词是：
全称量词（∀）
表示谓词对话语域中的所有元素成立。它对所考虑的宇宙中的每个对象做出声明。
记法: ∀x P(x)（读作"对于所有x，P(x)成立"）
示例: ∀x (Human(x) → Mortal(x)) - "对于所有x，如果x是人，那么x是会死的"
存在量词（∃）
表示域中至少存在一个元素使谓词成立。它断言具有特定属性的东西的存在。
记法: ∃x P(x)（读作"存在x使得P(x)"）
示例: ∃x Prime(x) - "存在一个是素数的数"
谓词逻辑的结构
谓词逻辑表达式有几个关键组成部分：
项
常量（特定对象如'苏格拉底'）、变量（占位符如x、y）和函数（产生项的运算）。
公式
合式公式（WFF）是语法正确的表达式，结合了谓词、量词、变量和逻辑连接词。
约束变量和自由变量
被量词约束的变量（例如∀x中的x）与未被量化的自由变量。
示例
以下是一些显示谓词逻辑表达能力的例子：
数学陈述
∀x ∀y ((x > 0 ∧ y > 0) → (x + y > 0)) - "对于所有正数x和y，它们的和是正的"
关系
∀x (Parent(x, y) → ∃z Loves(x, z)) - "对于所有x，如果x是y的父母，那么存在某个z，x爱z"
复杂陈述
∃x (Student(x) ∧ ∀y (Course(y) → Enrolled(x, y))) - "存在一个学生注册了所有课程"
量词的逻辑等价
正如命题逻辑有逻辑等价一样，谓词逻辑也有涉及量词的重要等价：
- 全称的否定: ¬(∀x P(x)) ≡ ∃x ¬P(x) - "不是所有x都具有属性P"等价于"存在一个x不具有属性P"
- 存在的否定: ¬(∃x P(x)) ≡ ∀x ¬P(x) - "不存在具有属性P的x"等价于"对于所有x，x不具有属性P"
- 分配律: ∀x (P(x) ∧ Q(x)) ≡ (∀x P(x)) ∧ (∀x Q(x)) - 全称量词在合取上分配
应用
谓词逻辑是计算机科学和数学许多领域的基础：
数据库
关系数据库查询语言如SQL基于谓词逻辑原理，其中查询表达数据库关系上的谓词。
形式验证
软件和硬件系统的形式验证在很大程度上依赖于谓词逻辑来指定和证明正确性属性。
人工智能
谓词逻辑使AI系统能够进行知识表示，允许机器对对象、其属性和关系进行推理，用于自动规划和专家系统。
数学
几乎所有数学陈述和证明都使用谓词逻辑，从定义数字属性到表达数学结构的定理。
与命题逻辑的关系
谓词逻辑建立在命题逻辑之上，添加了谓词和量词。命题逻辑中的所有逻辑连接词（¬、∧、∨、→、↔）在谓词逻辑中仍然有效并以相同方式工作。不同之处在于，我们不是组合原子命题，而是组合谓词和量化表达式。
每个命题逻辑陈述都可以看作是谓词逻辑的特殊情况，其中不使用谓词或量词。相反，在处理特定实例而不是一般陈述时，谓词逻辑简化为命题逻辑。
使用命题计算器
虽然此计算器专注于命题逻辑和布尔代数，但理解命题逻辑和谓词逻辑之间的关系有助于加深对两个系统的理解。您在这里使用的运算符和真值表构成了更具表达力的谓词逻辑的基础。
尝试命题逻辑的逻辑计算器→