4.1 一阶谓词演算基本概念

4.1一阶谓词演算基本概念计算机科学中的数理逻辑2026年4月第4章一阶谓词演算目录CONTENTS01个体、谓词和函词解析构成命题的基本元素：对象、性质、关系与操作。02变元和常元理解自由变元、约束变元与常元的区别与作用。03量词掌握全称量词和存在量词的表达与用法。04谓词公式与真值学习谓词公式的构成规则，并探讨影响其真值的因素。01个体、谓词和函词INDIVIDUALS,PREDICATES,ANDFUNCTIONS一阶逻辑·基础概念一阶逻辑的基本构成元素深入分析命题内部结构——逻辑语言构建的基石：个体、谓词与函词，共同构成了精确描述世界的符号系统。个体与个体域讨论的对象与范围个体可以是具体的（如“苏格拉底”）或抽象的（如“数字2”）。个体域是讨论对象的集合，在一阶逻辑中，它必须是非空的集合。谓词(Predicate)性质描述与关系表达用于刻画个体的性质（一元谓词，如“x是实数”）或多个个体之间的关系（多元谓词，如“x大于y”）。函词(Function)对个体的操作与变换表示从一个或多个个体映射到另一个新个体的操作。例如，“x的父亲”或“x的平方”，其结果依然是一个个体，而非真假判断。谓词：关联“真值”

谓词是逻辑断言，描述个体“是什么”或“怎么样”，其最终的逻辑语义是一个真值（True/False）。函词：关联“个体”

函词是个体生成器，描述对个体的“操作”或“映射”，其输出结果始终是论域中的另一个具体个体。02变元和常元VARIABLESANDCONSTANTS自由变元与约束变元两种不同性质的变元解析自由变元(FreeVariable)📝定义：表示不确定的对象，其具体的取值会直接影响整个表达式的逻辑意义或真值。⚡核心特点：可以被具体的值代入；若直接对其进行改名，通常会改变原表达式的含义。🔍典型示例：二元一次方程x+y=0中的变量x和y。约束变元(BoundVariable)📝定义：被全称量词(∀)或存在量词(∃)“绑定”的变元，本质上只是一个形式记号，表达式的意义不依赖于它的具体名称。⚡核心特点：不能随意代入具体值；可以进行“改名”操作，且不改变原公式的意义。🔍典型示例：一阶逻辑公式∀xP(x)中的变量x。03量词QUANTIFIERS全称量词与存在量词表达“所有”与“存在”的一阶逻辑基础概念∀全称量词(UniversalQuantifier)符号记作∀xP(x)，读作“对所有的x，P(x)成立”或“对任意x，P(x)成立”。核心用途：用于表达具有普遍性、一般性或全体性的判断。例如：“所有的自然数都是整数”、“对于任意实数x，x²≥0”。它描述了论域中每一个对象都满足某种性质。∃存在量词(ExistentialQuantifier)符号记作∃xP(x)，读作“存在x，使得P(x)成立”或“至少有一个x，使P(x)成立”。用于表达论域中至少存在一个对象满足某种性质的判断。关键概念：辖域与指导变元•辖域(Scope)：量词后面直接受其逻辑管辖的最小公式部分。•指导变元(GuideVariable)：紧跟在量词符号(∀或∃)之后的那个个体变元，是量词约束的对象。04谓词公式PREDICATEFORMULAS公式的构成如何构建合法的谓词公式定义：以下条款规定的符号串称为谓词公式，简称公式（1）谓词填充式是公式，命题常元是公式（看作零元谓词）；（2）如果A，B是公式，x为任一变元，那么(┐A)，(A→B)，(

xA)，(

xA)，还有(A∧B)，(A∨B)，(A

B)都是公式；（3）只有有限步使用（1），（2）条款所形成的符号串是公式括号省略原则：省掉最外面的括号联结词的结合能力强弱为┐、（∧、∨）、→、

结合能力平等的联结词从左到右运算限定谓词的使用规则在全总个体域中限制变元范围01/全称量词与限定谓词对全称性变元，需将限定谓词作为蕴涵前件引入，以确保仅在满足限定条件的范围内讨论性质。💡示例：“所有实数的平方非负”∀x(R(x)→NN(sq(x)))其中R(x)表示“x是实数”，NN(x)表示“x非负”。02/存在量词与限定谓词对存在性变元，需将限定谓词作为合取项引入，以确保变元同时满足限定条件和核心性质。示例：“有人为自由而斗争”∃x(M(x)∧F(x,freedom))⚠️逻辑陷阱：错误使用会导致意义偏差！若将全称量词误用为合取、存在量词误用为蕴涵，

将直接导致逻辑命题的真值错误。量词的嵌套与顺序⚠️顺序至关重要，不可随意互换！∀x∃y(x+y=0)自然语言解释：“对所有x，都存在y，使得x+y=0”在实数域上的真值：TRUE(真)逻辑说明：对任意的x，总能找到一个依赖于x的y（即y=-x），满足等式。∃y∀x(x+y=0)自然语言解释：“存在一个y，对所有x，都满足x+y=0”在实数域上的真值：FALSE(假)逻辑说明：无法找到一个固定不变的y，使其与所有实数x的和都为0。05公式的真值TRUTHVALUEOFFORMULAS数理逻辑·基础理论影响真值的三大因素确定谓词公式真值的三个层次01个体域(Domain)讨论对象的范围，也就是我们研究的所有客体构成的集合。常见的例子如实数集R、整数集Z、自然数集N，或特定的有限集合。02解释(Interpretation)对公式中符号的具体含义进行定义，包括：•为谓词符号指定具体的关系(如“>”、“是偶数”)

•为函词符号指定具体的操作(如“+”、“×”)

•为常元符号指定具体的对象(如“0”、“1”)03指派(Assignment)为公式中所有的自由变元确定一个具体的取值。只有当自由变元被赋予确定的值后，含有自由变元的公式才能成为一个具有确定真假的命题。公式的分类：永真、可满足与矛盾根据公式在不同解释和指派下的真值表现，我们可以将一阶逻辑中的谓词公式划分为以下三种基本类型，它们构成了逻辑演算的重要基础。永真式(Valid)∀x(P(x)∨¬P(x))在任何个体域、任何解释和任何指派下都恒为真，也常被称为“重言式”。可满足式(Satisfiable)至少存在一种解释和指派能使其为真。只要找到一个“场景”使其成立，即满足定义。矛盾式(Contradiction)不可满足式在任何个体域、任何解释和任何指派下都恒为假，与永真式的逻辑性质完全相反。永真式⊂可满足式

永真式一定是可满足的。因为它在所有情况下都为真，自然满足“存在至少一种情况为真”的条件。矛盾式∩可满足式=∅

矛盾式一定不是可满足的。因为不存在任何一种解释和指派能使其为真，它是可满足式的绝对补集。基本逻辑等价式与蕴涵式一阶逻辑的推理定律是进行逻辑推导和证明的基石，以下是几个最常用的核心定律：广义德摩根律┐

xA(x)┝┥

x┐A(x)┐

xA(x)┝┥

x┐A(x)┐

x┐A(x)┝┥

xA(x)┐

x┐A(x)┝┥

xA(x)

揭示全称/存在量词与否定词之间的转换关系量词分配律

x(A(x)∧B(x))┝┥

xA(x)∧

xB(x)

xA(x)∨

xB(x)┝

x(A(x)∨B(x))

x(A(x)∧B(x))┝

xA(x)∧

xB(x)

x(A(x)∨B(x))┝┥

xA(x)∨

xB(x)全称对合取、存在对析取可分配量词与无关公式

xA(x)∨B┝┥

x(A(x)∨B)

xA(x)∧B┝┥

x(A(x)∧B)

xA(x)∨B┝┥

x(A(x)∨B)

xA(x)∧B