第3章 谓词逻辑

(1)兔子比乌龟跑得快． (2)有的兔子比所有的乌龟跑得快．
(3)并非所有的兔子比所有的乌龟跑得快．
设F(x): x是兔子, G(y):y是乌龟， H(x,y): x比y跑得快. (1) xy(F(x)G(y)→H(x,y)) (2) x(F(x)y(G(y)→H(x,y)))
(3)xy(F(x)G(y)→H(x,y))或 xy(F(x)G(y)H(x,y))
• 定理3.1 重言式的所有代换实例都是永真式，矛 盾式的所有代换实例都是矛盾式。 • 推论3.1 命题逻辑中的所有等值式的代换实例都 是谓词逻辑中的等值式，所以命题逻辑中的所有 等值演算方法都可在谓词逻辑中使用。 • 例如：
xF ( x ) xF ( x )
双重否定律
蕴涵-析取等值式
P(t1 , t2 ,, tn ) 构成一个谓词公式，称为原子谓词公式。
F(x): x 是奇数 H(x,y): x 大于 y L(x,y): x 比 y 聪明
定义 3.6 谓词逻辑中的合式公式定义如下： (1) 任何一个原子谓词公式都是合式公式； (2) 若 A 是合式公式，则 ( A ) 也是合式公式； (3) 若 A， 是合式公式， ( A B ) ， A B ) ， A B ) ， B 则 ( ( ( A B ) 都是合式公式； (4) 若 A 是合式公式，则 ( xA ) ， ( xA ) 也是合式公式； (5) 仅由(1)—(4)在有限步内产生的公式才是合式公式。
• 存在量词：表示个体变元在个体论域中取某个值 的量词称为存在量词
符号 加上一个个体变元表示。如 x, y
量词
所有的、任意的、一切的、每一个 有些、至少有一个、某一些、存在
x
x
3.2 谓词公式
定 义 3.5 设 P 是 一 个 n 元 谓 词 ， t1 , t2 ,, tn 是 项 ， 则
x 是北京大学的学生； F ( x, y ) 表示： x 与 y 是校 友；则原命题可表示为： B ( a ) B (b) F ( a, b) .
【用谓词公式表示命题的一般步骤】 用谓词公式表示不含量词的简单命题的方法和步骤： (1) 按照选用谓词的基本原则找出命题中的谓词，用 谓词符号表示该谓词； (2) 按照确定主要个体对象的基本原则找出命题所述 的主要个体对象，并用个体词符号表示该个体对象； (3) 用(1)，(2)中的个体词符号和谓词符号写出原子谓 词公式； (4) 检查所写的谓词公式是否表达了原命题的内容。
3.1 谓词逻辑概述
• 谓词逻辑是命题逻辑的扩充，是数理逻辑的一部分。
谓词逻辑包含了命题逻辑的全部内容，此外，还包
含对命题中个体对象的性质和个体对象之间关系的
描述及推理。在谓词逻辑中，简单命题不再是最小
的研究单位。简单命题可分解为更小的成分：个体 词和谓词。谓词逻辑主要研究命题中涉及到的全体 对象与特定对象、部分对象与特定对象及全体对象 与部分对象之间的逻辑关系。
则原公式为真。 再构造一个解释 I 如下： 令个体域 D 是实数集； P(x) 表示： x 是一个整数；
Q(x) 表示： x 是一个奇数，
则公式为假。 所以，(3)是可满足式。
3.5 谓词公式的等值演算
定义 3.16 设 A , B 是两个谓词公式，若 A B 是永真 式，则称 A 与 B 是等值的，记为 A B .
L ( x , y ) : x, y 具有关系 L
•谓词常项：特定的谓词 •谓词变元：抽象的泛指的关系 •n元谓词
量词
• 用于描述个体变元量化特征的词称为量词 所有人都呼吸. 有的人吸烟. • 全称量词 ：表示个体变元取遍个体论域中的每一个 值的量词称为全称量词
用符号 加上一个个体变元表示。如 x, y
定义 3.17 设 B 是含命题变元 p1 , p2 ,, pn 的命题公 式 ， A1 , A2 ,, An 是 n 个 谓( 1 x n )处处代换 pi ，所得公式 A 称为 B 的一个
代换实例。
例如，有命题公式 p q 则 F ( x ) G ( x ) 和 xF ( x ) xG ( x ) 都是它的代换实例
例 3.9 判断下列公式的类型： 构造一个解释 I ：令个体域 D 是实数集； P (x) 表示： x 是一个整数； (1) xF ( x) xF ( x) . Q (x ) 表示： x 是一个有理数， (2) x (G ( x ) G ( x )) . (3) x( P ( x) Q( x))
x ( F ( x ) G ( x )) x ( F ( x ) G ( x ))
谓词公式等值演算方法
【置换规则】 设 ( A) 是含子公式 A 的一个谓词 公式， (B ) 是用公式 B 取代 ( A) 中的一些 A 或 所有的 A 之后得到的公式，若 A B ，则 ( A) ( B) .
3.4 谓词公式的解释
x (T ( x ) yS ( y , x ))
令 T (x ) 表示“ x 是一个教师”
S ( y, x) 表示“ y 是 x 的学生”
则该谓词公式如何解释？
定义 3.10 谓词公式的一个解释包含以下几方面的内容： (1) 给定一个非空个体域 D ，包含公式中的个体； (2) 为每一个个体常量指定 D 中的一个相应的元素； (3) 为每一个自由变元指定 D 中的一个元素； (4) 为函数符号指定 D 上的一个具体函数； (5) 为一元谓词符号指定 D 上的一个集合； (6) 为 n ( n 2 )元谓词符号指定一个 D 上的 n 元关系
例3.5 用谓词公式表示下列命题： (1) 所有人都吃饭 (2) 存在不吃饭的人 (2) 没有不吃饭的人
令 M (x) 表示： x 是人
E (x) 表示： x 吃饭 （1） x ( M ( x ) E ( x)) （2） x( M ( x) E ( x)) （3） (x( M ( x) E ( x)))
• (3) x(M(x)F(x))或x(M(x)→F(x))
其中M(x): x是人, F(x): x犯错误 • (4) x(F(x)→G(x))或x(F(x)G(x)) 其中F(x): x是参加考试的人, G(x): x取得好成绩. • (5) x(M(x)P(x)) x(M(x)→P(x)) 其中M(x): x是人, P(x): x聪明
(1) 令 a 表示：3； F ( x ) 表示： x 是素数，则原命题可 表示为： F ( a ) . (2) 令 b 表示： 2 ； H ( x ) 表示： x 是奇数，则原命题 (3) 令 c 表示：张明； d 表示：刘浩；G ( x , y ) 表示： x 可表示为： H ( b ) . (4) 是同学，则原命题可表示为： G ( 是长跑冠军，则 与 y 令 e 表示：李岚； M (x) 表示： x c , d ) . 原命题可表示为： M (e) .
【谓词公式的类型】根据公式与解释的关系，可以把谓词公式分为三种 类型：永真式、矛盾式和可满足式。 定义 3.13 若公式 A 在任何解释下均为真，则称 A 为永真式。 定义 3.14 若公式 A 在任何解释下均为假，则称 A 为矛盾式(或永假式)。 定义 3.15 若(至少)存在一个解释使公式 A 为真，则称 A 为可满足式。
• 马丽的父亲与苏珊的父亲是同事 F( x) 表示：x的父亲 P( x, y) 表示： x 和 y 是同事 a表示玛丽，b表示苏珊 原命题表示为：P( F(a), F (c))
例3.2 用谓词公式表示下列命题（不含量词）： (1) 3是素数。 (2) 2是奇数。 (3) 张明和刘浩是同学。 (4) 李岚是长跑冠军。
G ( x, y ) 表示： x 与 y 是师徒； H ( x, y ) 表示： x 与 y 是师兄弟； L( x, y ) 表示： x 遇到 y
请解释： yF (a ) F ( y ) G (a, y )
在 F (x) 中，令 x 孙悟空； 在 Ga, y()x中，令 y y ) L( x, y ) ( xF ) yM ( 猪八戒； 在 H ( x, y ) 中，令 x 沙僧， y 猪八戒； 令 a 唐僧；
离散数学
第3章 谓词逻辑
3.1 谓词逻辑概述
3.2 谓词公式 3.3 用谓词公式表示命题
3.4 谓词公式的解释
3.5 谓词公式的等值演算 3.6 谓词逻辑的归结演绎推理 3.7 谓词逻辑的自然演绎推理
苏格拉底三段论
• 逻辑学中著名的苏格拉底三段论： 凡人都是要死的. 苏格拉底是人. 所以苏格拉底是要死的. • 下面在命题逻辑中判断此推理的正确性 p：凡人都是要死的 q：苏格拉底是人 r：苏格拉底是要死的 则推理的形式为 pqr
(1)存在小于５的奇数 (2)并非每个实数都是有理数 (3)没有不犯错误的人 (4)参加考试的人未必都能取得好成绩． (5)尽管有人聪明，但未必一切人都聪明． 解： (1) x(F(x)G(x)), 其中F(x): x<5, G(x): x是奇数 (2) x(R(x)→Q(x)) 或x(R(x)Q(x)) 其中R(x): x是实数, Q(x): x是有理数
3.3 用谓词公式表示命题
• 用谓词公式表示命题的方法，也叫做在谓词逻辑 中将命题符号化。 – 所有的汽车都比马车跑得快 – 令 P( x) 表示：x 是汽车； – Q( y) 表示： y 是马车； – G( x, y) 表示：x 比 y 跑得快。 xy(P( x) Q( y) G( x, y))
• 例3.3 用谓词公式表示下列命题： • (1) 2是素数且是偶数。 • (2) 如果杨庆是北京大学的学生，陈明也是北京大 学的学生，那么杨庆与陈明是校友。
(1) 令 a 表示： F (x ) 表示：x 是素数；G (x ) 表 2； 示：x 是偶数； 则原命题可表示为：F (a ) G (a ) ， 也可以表示为： F (2) G (2) . (2) 令 a 表示：杨庆； b 表示：陈明； B ( x ) 表示：