离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.7 公式等价）

公式的解释 公式的解释和真值 公式的分类 公式的判定问题 等价 谓词演算中的基本等价公式 其中，第4条量词分配律，任意只能是合取，而存在只能是析取 前束范式 前束范式的求解步骤 ...

一、对谓词公式赋值（给谓词公式一个解释） 对一个谓词公式赋值由如下四部分组成 （1）指定非空个体域集合 （2）将谓词公式中的命题变元，用确定的的命题代替 （3）对公式中的个体变元用论域中的具体个体代替 （4）对公式中含有的谓词变项，用谓词常项代替 二、谓词公式的永真式 给定谓词公式A，如果不论对其作任何赋值，都使得谓词公式A的真值为真，则称A为永真式 三、谓词公式的等价公式 给定谓词公式A、B，如果A<->B是永真式，则称A与B等价，记作A<=>B 四、谓词公式的永真蕴含式 给定谓词

在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为具有确定真值t或f的命题。 定义2-5.1给定任何两个谓词公式wff a和wff b，设他们有共同的个体域e，若对a和b的任一组变元进行赋值，所得命题的真值都相同，则称谓词公式a和b在e上是等价的，并记作aûb。 定义2-5.2给定任意谓词公式w...

例如谓词的否定律就是一种等价关系 等价号两头连接的是两个谓词公式A，B 量词的分配律既有蕴含关系也有等价关系 我们需要注意的是，在全称量词分配律中，只有用且连接的P，Q才可以进行等价变换，在存在量词分配律中，只有用或连接的P，Q才可以进行等价变换；在全称量词分配律中，只有用或连接的P，Q才可以进行蕴含变换，在存在量词分配律中，只有用且连接的P，Q才可以进行蕴含变换 对应上图括号1.2.3.4 ...

这篇文章简单的介绍了离散数学中的谓词逻辑相关的知识。

【离散数学】期末不挂科复习笔记 和蜂考学的，重要的应该是逻辑和函数这两大板块，图和树就与数据结构挂钩了（大部分都是之前学过的），重点看看各种逻辑的等值演算还有推理！ 第一章（命题逻辑的基本概念) 1、命题的概念 如何判断是否是命题： 例题1： 2、命题连接词 ①否定（可以理解为非） ②合取（可以理解成交） ③析取（可以理解为并） ④蕴含（可以理解为非p并q） ⑤等价（可以理解为相等） 优先级： 例题1: 3、命题公式及其赋值 成真赋值就是让p蕴含q的值为1，这种情况下p和q的赋值 成假赋值就是

离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。 课程主要分四块： • 第一部分 数理逻辑（第1章：命题逻辑、谓词逻辑） • 第二部分 集合论（第2章：集合；第3章：二元关系；第4章：函数） • 第三部分 代数系统 （第5章:无限集合；第6章：代数； 第7章：格和布尔代数） • 第四部分 图 论 （第8章:图论） 一...

谓词公式的等价关系和蕴涵关系

2.1     谓词与命题函数： 2.2     谓词公式与翻译： 2.3     前束范式： 2.4     谓词推理：

第二章 谓词逻辑 2-1 谓词的概念与表示 我们用大写字母表示谓词，用小写字母表示客体名称，如 A(b)A(b)A(b) 、 B(a,b)B(a,b)B(a,b) 、 L(a,b,c)L(a,b,c)L(a,b,c) 等。 单独一个谓词不是完整的命题（谓词没有真假值），我们把谓词字母后填以客体所得的式子称为谓词填式，如果 AAA 为 nnn 元谓词， a1,a2,⋯ ,ana_1,a_2,\cd...

谓词公式 原子谓词公式定义:   由n原谓词P和n个个体变元x1, x2, …, xn构成的不包含 任何量词和命题联结词的式子P(x1, x2, …, xn )称为原子谓词公式。 谓词公式递归定义: 原子谓词公式P(x)P(x)P(x)是谓词公式; 若P(x)是谓词公式，则∀P(x)\forall P(x)∀P(x)，∃xP(x)\exists xP(x)∃xP(x) 也是谓词公式; 若AAA, BBB是谓词公式，则¬A\neg A¬A ， A∨BA\vee BA∨B, A∧BA\land BA∧B, A

命题的定义：具有确定真值的陈述句。

解：设Z(x)：x是重庆人，R(x)：x居住在重庆，符号化为。解：设Z(x)：x是整数，R(x)：x是实数，符号化为(解：设P(x)：x是同学，Q(x)：x来上课了，符号化为。解：设Z(x)：x是整数，R(x)：x是偶数，符号化为(解：设Z(x)：x小于0，R(x)：x是偶数，符号化为(解：设Z(x)：x是人，R(x)：x是聪明的，符号化为(解：将约束变元x换名为u，y换名为v，得到(x) P(x)∧R(x,y) 替换。解：将自由变元x替换为z，得到(解：x是约束变元，y是自由变元。

谓词逻辑与命题逻辑的区别在于命题的表达不同。谓词公式与命题公式的最大区别在于多了量词。 一、量词否定等价公式（量词与“!”的关系） 量词转换律 ! ∀ xA(x) <=> ∃ x!A(x) ! ∃ xA(x) <=> ∀ x!A(x) 二、量词辖域的扩充与收缩（量词与“V,^“的关系，其中一个运算对象不受该量词约束） ∀xA(x) V B <=> ∀x(A(x) V B) ∀xA(x) ^ B <=> ∀x(A(x) ^ B) ∃xA(x) V B &l

自然演绎推理是指从一组已知事实出发，直接运用命题逻辑或谓词逻辑中的推理规则推出结论的过程。

量词分配律中：全称量词只有在合取联结词出现的时候才能够进行分配，而存在量词只有在析取联结词出现的时候才能够进行分配。1.在E35中虽然都有两个变量X，但这是两个不同的变量，只是取了同一个名字而已，我们当然也可以给它们取不同的名字（E36同理）这里面的S是一个不包含个体变量x的谓词公式，所以不受量词辖域管理，所以量词辖域可收缩。1.谓词逻辑是不可判定的，因为我们无法给出它的真值表，即我们无法列出它的所有解释。1.前束范式的一切量词都得在公式的最前端，且这些聚集起来的量词中不能够出现否定词。

离散数学(二）之谓词逻辑（内容来自冯伟森《离散数学》教材+课件）谓词与量词谓词量词谓词公式及其赋值谓词公式公式的解释谓词公式的类型谓词公式的等价与范式谓词公式的等价谓词演算的基本等价式谓词公式的范式 谓词与量词 虽然由V、Λ等连接词与原子命题结合可以完成一些命题的逻辑推理，但仅靠命题逻辑仍无法完成所有命题的推理，例如著名的苏格拉底命题“人都是要死的，苏格拉底是人，所以苏格拉底是要死的”，若按命题逻辑翻译为（PΛQ)->R的命题公式，其实并不恰当，因为这三个子命题还有内在联系，用彼此独立的简单的命题标识

一、基础概念 1.命题逻辑基础 （1）基础定义 符号 true 的赋值总是 T ，符号 false 的赋值总是 F ；p 、q 是任意命题符号 非式 ¬p ：如果对p的赋值为T，那么对¬p的赋值是F；如果对¬p的赋值为T，那么对p的赋值是F。 合取式p∧q ：仅当两个合取项的真值都是T时，合取∧的真值是T，否则是F。 析取式p∨q ：仅当两个合取项的真值都是F时，析取∨的真值是F，否则是T。 蕴含式 p→q ：仅当蕴含的前提项（前项）是T而且结论项（后项）是F时，蕴含→的真值是F，否则是T..

前面说到了谓词逻辑的一些等价关系： 1.(a) ┐∀xΦ⇔∃x┐Φ    (b) ┐∃xΦ⇔∀x┐Φ 2.假设x在Ψ中不是自由的，那么： (a)∀xΦ∧Ψ⇔∀x(Φ∧Ψ) (b)∀xΦ∨Ψ⇔∀x(Φ∨Ψ) (c)∃xΦ∧Ψ⇔∃x(Φ∧Ψ) (d)∃xΦ∨Ψ⇔∃x(Φ∨Ψ) (e)∀x(Ψ→Φ)⇔Ψ→∀xΦ (f) ∃x(Φ→Ψ)⇔∀xΦ→Ψ (g)∀x(Φ→Ψ)⇔∃xΦ→Ψ ...