离散数学chapter04-2014
离散数学第四章(第3讲)
１．关系的复合
《定义》：设 X Y （R关系），Y Z （S关系），
于是可获得：X Z （R◦S） 的关系，称 R◦S
为R和S的复合关系，并规定为：
<x，z>
R S { x, z | x X z Z y( y Y x, y R y, z S)}
R S { x, z | x X z Z y( y Y x, y R y, z S)}
(R U Ix ) U (R U%Ix ) r(R) U r(%R) Sr(R)
例：设X={a,b,c},R={<a,b><c,c>}
（1）rs(R)=r{<a,b><b,a><c,c>}={<a,b><b,a><c,c><a,a><b,b>} sr(R)=s{<a,b><c,c><a,a><b,b>}={<a,b><b,a><c,c><a,a><b,b>}
例：设A={1,2,3,4,5}，R,S均为A→A的关系，且 R={<1,2><3,4><2,2>} S={<4,2><2,5><3,1><1,3>}
则 R◦S={<1,5> <3,2> <2,5>} S◦R={<4,2> <3,2> <1,4>}
讨论： （1） RS ≠ SR，因此“◦”是不可交换的。 （2）RS为新的二元关系，且RS为X Z上的二元关系。
离散数学(微课版) 第4章
离散数学（微课版）第4章1. 引言在离散数学的第4章中，我们将讨论图论的基本概念和应用。
图论是研究图及其在现实生活中的应用的数学分支，它在计算机科学、网络设计、运筹学等领域中具有重要的应用价值。
本章将介绍图的定义、图的表示方法、图的遍历算法等内容。
2. 图的定义图由一组节点和一组节点之间的边构成。
节点通常表示现实世界中的对象，而边则表示对象之间的关系。
图可以用于描述各种问题，如社交网络中的用户关系、城市之间的交通网络等。
2.1 有向图和无向图图可以分为有向图和无向图两种类型。
在有向图中，边具有方向，表示节点之间的单向关系。
而在无向图中，边没有方向，表示节点之间的双向关系。
2.2 顶点和边图由顶点和边组成。
顶点是图的节点，用来表示对象。
边连接两个顶点，表示两个对象之间的关系。
2.3 路径和环路径是指在图中从一个顶点到另一个顶点的连接序列。
环是一条路径，其起点和终点相同。
3. 图的表示方法在计算机中，图可以用不同的数据结构来表示。
常见的表示方法包括：3.1 邻接矩阵邻接矩阵是用二维数组表示图的连接关系。
对于无向图，邻接矩阵是对称的，而对于有向图，则不对称。
A B CA010B101C010上述邻接矩阵表示了一个无向图，其中顶点A与顶点B相连，顶点B与顶点C相连。
3.2 邻接表邻接表是用链表表示图的连接关系。
对于每个顶点，邻接表保存了与其相连的其他顶点的信息。
A ->B -> NULLB -> A ->C -> NULLC -> B -> NULL上述邻接表表示了一个无向图，顶点A与顶点B相连，顶点B与顶点A、C相连，顶点C与顶点B相连。
4. 图的遍历算法图的遍历算法是指按照一定的方式访问图中的所有节点。
常见的图的遍历算法有深度优先搜索和广度优先搜索。
4.1 深度优先搜索深度优先搜索从起点开始，尽可能深地访问尚未访问的节点，直到无法继续深入为止，然后回溯到上一个节点，继续深入其他未访问的节点。
离散数学(第四章)解读.
§2.1 一阶逻辑命题符号化
例如，下列推理： 所有的人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 众所周知,这是真命题。但在命题逻辑中,如 果用P,Q,R表示以上三个命题，则上述推理过 程为：（P∧Q）R。借助命题演算的推理理 论不能证明其为重言式。
§2.1 一阶逻辑命题符号化
原因：命题逻辑不能将命题之间的内在联系 和数量关系反映出来。 解决办法：将命题进行分解。
§2.1 一阶逻辑命题符号化
设谓词H表示“是劳动模范”, a表示个体名称 张明, b表示个体名称李华,c表示个体名称这只老 虎，那么H(a) 、 H(b)、 H(c)表示三个不同的命 题,但它们有一个共同的形式,即H(x).一般地， H(x)表示客体x具有性质H。这里x表示抽象的或 泛指的客体，称为个体变元，常用小写英文字 母x, y, z, …表示。相应地，表示具体或特定的客 体的词称为个体常项，常用小写英文字母a,b,c, …表示。
§2.1 一阶逻辑命题符号化
刻划一个个体性质的词称之为一元谓词 ,刻划 n 个个 体之间关系的词称之为n元谓词. 一般我们用大写英文字母表示谓词，用小写英文字 母表示客体名称，例如，将上述谓词分别记作大写 字母F、G、H、R，S则上述命题可表示为： (1) F(a) a：张明 (2) F(b) b：李华 (3) G(c) c：王红 (4) H(s,t) s：小李 t：小赵 (5) R(a,b,c) (6) S(a,b) a:阿杜 b:阿寺 其中(1)、(2)、 (3)为一元谓词， (4) 、 (6)为二元谓词 ， (5)为三元谓词。
2.5谓词演算的推理理论(Inference theory of
predicate calculus)
§2.1 一阶逻辑命题符号化
离散数学第四章
代数系统
从这一章起到第七章涉及到的是近世代数的内容,本章介 绍的是代数系统的内容,后三章介绍的是几个重要的代数系统:
群,环,域,格.这些理论在计算机及物理,化学等学科都有重要应用.
§4.1 运 算
一 . 概念 本节将函数的讨论局限在集合An到集合A上. 定义1 设有非空集合A,函数f: An→A 称为A上的一个n元运算. n称为运算的阶. 若f: A2→A 则f是A上的一个二元运算
常用表格来表示一元运算和二元运算: ai a1 o(ai) o(a1) o a1 a2 … an o(a1,an)
a1 o(a1,a1) o(a1,a2)
.
. an 三
.
. o(an)
.
.
…
… o(an,an)
an o(an,a1) o(an,a2)
.关于运算的封闭性
定义2: 如果作用在一个集合A的元素的运算,其运算结果也
（4）单位元：加法有单位元；乘法有单位元；
（5）加法有逆元；
（6）消去律： 如果 i ≠0，任意 j，k∈I 由i · i · k= j, 称<J,+,· >是一个整环. 可以有 k= j ；
前述的<I,+ ,· <B,+,· <R,+,· <Q,+, · > > > >均为整环.再看一例:
例: 证明代数系统<Z3 , 3 , ⊙3 >是整环.其中 ⊙3 , 3的 定义如下:
=i+j- i.j+k- i k -j + i.j . k
i* ( j*k )=i*(k+j- k.j)=i+ (k+j- k.j)-i (k+j- k.j) =i+j- i.j+k- i k -j + i.j . k
离散数学第四章(第1讲)
第四章 二元关系
§1 序偶与笛卡尔积 §2 关系及其表示 §3 关系的性质 §4 关系的运算 §5 等价关系与划分 §6 相容关系与覆盖 §7 偏序关系
§1 序偶与笛卡尔乘积
1 序偶 《定义》由二个具有给定次序的客体所组成的序列
称为序偶。记作〈x，y〉 例：X—Y二维平面上的一个点的坐标〈x，y〉就
是一个序偶。
说明： (1)在序偶中二个元素要有确定的排列次序。 若ab时，则〈a，b〉〈b，a〉 若〈x，y〉=〈a，b〉（x=a y=b） (2) 多重序元： 三元组：〈〈x，y〉，z〉 =〈x，y，z〉 n元组： 〈〈〈〈x1，x2〉，x3〉…〉，xn〉= 〈x1,…,xn〉
ran R={a,b,c,d}
FLD R={1,2,3,4,a,b,c,d}
４．关系和笛卡尔乘积 笛卡尔乘积的任何子集都可以定义一种二元关系。 例：X={1,2,3,4}，Y={1,2}
X Y {1,1 ,1,2 , 2,1 , 2,2 , 3,1 , 3,2 , 4,1 , 4,2 }
S1={<x,y>|x X yYx ≤ y}={<1,1><1,2><2,2>}
2 笛卡尔乘积 《定义》设A，B为二个任意集合，若序偶的第 一个成员（左元素）是A的一个元素，序偶的 第二个成员（右元素）是B的一个元素，则所 有这样的序偶构成的集合称为A和B的笛卡尔乘 积。
记作：A B={〈x，y〉|（xA）（yB）}
离散数学教学PPT第四章
但是从另一个角度看，每一个自然数都对应着一个平 方数；
所以，自然数和平方数是一样多的， 这 “一一对应” 的 规则也就是判断集合是否一样大的标准。
8
任何一个有限集合不能与其真子集等势。 另一种有限集、无限集的定义方法； 定义：如果存在一一对应的f: S→S，使得f(S)⊂S，
证明：必要条件已经在前面证明，下面证明其充分 条件。
反证法：
鸽洞原理
设一集合M含有与其等势的真子集M’，若M’为有限集， 设其元素个数为n，即|M|=n，则此时必有n>m；
但此时M与M’间由于元素个数不同而无法建立一一对应 的关系而产生矛盾。
17
有限集和无限集的重要定义 定义4.5 一集合存在与其等势的真子集，则称为无 限集，否则称为有限集。
“全体正整数的集合和全体有 理数的集合等势”是在数学上 很重要的一个例子，说明一个 实数中的稠密集可以和一个离 散集等势（稠密：在任意两个 元素之间存在第三个元素）
22
因为每个有理数都可以写成一个分数形式如下：
... -3/1 -2/1 --1/1 0/1 1/1 2/1 3/1 ... ... -3/2 -2/2 -1/2 0/2 1/2 2/2 3/2 ... ... -3/3 -2/3 -1/3 0/3 1/3 2/3 3/3 ...
任意一个小于1 的非负小数，取其二进制形式，比如 0.1101001， 如果将小数点后第 i 位对应的 0/1 看成是自然数 i 在某个集合中的 无/有，那么0.1101001就对应自然数的一个子集 {1, 2, 4, 7}；
所以，任一个小数可以对应一个自然数的子集，当然，自然数的 一个子集，也可以很容易写出一个小数： [0,1) 之间的小数与自然 数 N 的所有子集的一一对应关系；
离散数学课件第四章 关系
关系的性质
例 2 (1) A上的全域关系EA,恒等关系IA及空关系都是A 上的对称关系;IA和 同时也是A上的反对称关系. (2)设A={1,2,3},则 R1={<1,1>,<2,2>}既是A上的对称关系,也是A上 的反对称关系; R2= {<1,1>,<1,2>,<2,1>}是对称的,但不是反对 称的; R3 ={<1,2>,<1,3>}是反对称的,但不是对称的; R4= {<1,2>,<2,1>,<1,3>}既不是对称的也不是 反对称的.
❖ 二、关系的表达方式 1. 集合表达式：列出关系中的所有有序对。 例 1 设A={1,2,3,4},试列出下列关系R的元素。 (1) R={<x,y> | x是y的倍数} (2) R={<x,y> | (x-y)2 A } (3) R={<x,y> | x/y是素数}
Discrete Mathematics
关系
第四章 二元关系
第一节 有序对与笛卡尔积
❖ 定义 1 由两个元素x和y（允许x＝y）按顺序排列成 的二元组叫做一个有序对，记为<x, y>。
❖ 有序对的性质： 1.当 x ≠ y时，<x, y> ≠ <y, x>。 2.<x, y>＝<u, v>的充分必要条件是 x=u且y=v。
Discrete Mathematics
笛卡尔积
❖ 定义 2 设A, B是集合。由A中元素作为第一元素，B 中元素作为第二元素组成的所有有序对的集合，称 为集合A与B的笛卡尔积（或直积），记为A×B。 即 A×B={<x,y>|x A y B}
离散数学第四章
标题 Discrete Mathematical Structures Note Chapter 04主题数学笔记-笛卡尔集和商集•有序对 (a, b)•笛卡尔集- A × B = { (a, b) | a ∈ A 且 b ∈ B }-例: A = { x, y }, B = {1, 2, 3}- A × B = { (x, 1), (x, 2), (x, 3), (y, 1), (y, 2),(y, 3) }•R2 = R × RYX此图可称为笛卡尔坐标系•A1 × A2 × … × A n = {(a1, a2 …, a n) | a i ∈ A , i = 1~n}•商集( 划分 )-A, P = {A1…A k}-满⾜足(1) A1 ∪ A2 ∪ … ∪ A k=A- (2) A i ∩ A j = ∅, i≠j-称P是A的⼀一个划分•例：A = Z, A1 = {m | m ∈ A, m是偶数},A2={m | m ∈ A, m是奇数}-P = Z-A1 = {m | m ∈ Z, m < 0}-A2 = {m | m ∈ N}-P = {A1, A2}-关系•R ≤ A × B, 称R 是从A 到B 上的⼀一个关系•若A ＝B 称R 是A 上的关系•∀(a, b) ∈ A × B• (a, b) ∈ R, 记做 aRb• (a, b) ∉ R, 记做 aRb •例：A = {x, y}, B = {1, 2, 3}• R = {(x, 1)}• |A × B| = 6• |P(A ×B)| = 26• A × B 称为全关系• (x, 1) ∈ R, xR1• (x, 2) ∈ R, xR1• a | b => a 能被b 整除-关系的定义域•Dom(R) = {a | (a, b) ∈ R} Dom 称为关系的定义域•Ran(R) = {b | (a, b) ∈ R} X 的R 关系集•R(X) = {b | (x, b) ∈ R}•若R 4 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 4), (3, 3), (4, 4)}• R 4(1) = {1, 2, 3, 4}• R 4(2) = {2, 4}• R 4(3) = {3}• R 4(4) = {4}-关系的矩阵• A = {a 1, a 2, …, a m }• B = {b 1,b 2, …, b n }• A × B = {(a i , b j ) | i = 1…m, j = 1~n}•|A × B| = m × n||•|P(A ×B)| = 2m ×n 1•(a i , b j ) ∈ R•(a i , b j ) ∉ R•M R = m ×n •其中“_”的值为0或1，若M R ∈ R 则为1• A = {x, y}, B = {1, 2, 3}•R = {(x, 2), (y, 3)}•MR = -习题4.2 4〜～12（⽼老师有提）-关系的有向图•R 是A 上的关系-顶点-有向边•(a, b) ∈ R, (b, c) ∈ R• -> ->•(b, b) ∈ R•例：A = {1, 2, 3, 4}, 且 aRb <=> a|b(a 能被b 整除)-R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}•背离顶点称出数(度)•指向顶点称进数(度)_,_,…_!_,_,…_⎧⎨⎪⎩⎪⎫⎬⎪⎭⎪0,1,00,0,1⎧⎨⎩⎫⎬⎭①②③④①②③④出度4211-关系的路径(path)•路径R 是A 上的关系•序列π ：a, x 1 …… x n-1, b•满⾜足：aRx, x 1Rx 2, …… x n-1Rb, 该π是从a 到b ⻓长度为n 的路径• A = {1, 2, 3, 4, 5}•R = {(1, 2), (2, 2), (2, 3), (2, 4), (2, 5), (4, 3), (5, 1),(5, 4)}•π1: 1, 2, 4•π2: 1, 2, 5 ,1•π3: 2, 2•π4: 1, 2, 2, 3-环：起点和终点相同的路径•恒等环：⻓长度为1的环•xRy: (x, y) ∈ R•xR 2y:从x 到y 有⼀一条⻓长度为2的路径•xR n y:从x 到y 有⼀一条⻓长度为n 的路径•xR ∞y:从x 到y 存在路径-定理：R 是A 上的关系|A|=n•则：(1) M R 2 = M R ⨀ M R• (2) M R n = M R ⨀ … ⨀M R•M R = •M R 2 = M R ⨀ M R 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0⎛⎝⎜⎜⎜⎜⎞⎠⎟⎟⎟⎟①②③⑤④•= •★此类题过程：(1) 写出R•(2) 写出M R •(3) ⽤用M R 去计算M R 2•(4) 画出R 2的有向图-复合路径(考填空)•π1: 1, 2, 5•π2: 5, 4, 3•π2o π1: 1, 2, 5, 4, 3•π1: a, x 1, … x n-1, b•π2: b, y 1, … y n-1, c•π2o π1: a, x 1, … x n-1, b, y 1, … y n-1, c-关系的性质•⾃自反性•⾃自反关系：∀ a ∈ A 有(a, a)∈R, 称R 是A 上的⾃自反关系• A = {1, 2, 3, 4}•R = {(1, 1), (2, 2), (3, 3), (4, 4)}, ⾃自少包含所有(a, a)-⾮非⾃自反关系•∀ a ∈ A, 有(a, a) ∉ R, 称R 是A 上的⾮非⾃自反关系•R = {(1, 2), (1, 1), (2, 2), (3, 3)}, 为⾮非⾃自反关系，且 为⾮非⾃自反关系•在关系阵中：(1) ⾃自反: m ii = 0 (2) ⾮非⾃自反: m ii = 0•在有向图中：(1) ⾃自反: 所有顶点都是恒等环 (2) ⾮非⾃自反: 有顶点不是恒等环-对称性•对称关系：∀ aRb 有bRa ，则R 是A 上的对称关系•⾮非对称关系：∃ aRb, 有bRa, 称R 是A 上的⾮非对称关系0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0⎛⎝⎜⎜⎜⎜⎞⎠⎟⎟⎟⎟｜、1.2.3.4 制作2014年10⽉月27⽇日 星期⼀一-反对称关系•当a ≠ b 时, aRb 与bRa 不能同时成⽴立•在R 中, aRb 且bRa, 有a = b•如：R = {(1, 2), (4, 4)}-在关系矩阵中•对称矩阵：∀ m ij = 1 有 m ji = 1, 矩阵A 是对称矩阵 <=> A 的转置矩阵 A T = A•⾮非对称矩阵：m ii = 0, 且当m ij = 1有m ji = 0•反对称矩阵：当i ≠ i, ∀ m ij = 1有m ji = 0-在有向图中•对称：任意两个顶点间，要么没有边，要么有2个边，可⽤用下图表⽰示•⾮非对称：所有顶点都不是恒等环, 且任意两点间最多有⼀一边•反对称：任意两点最多有⼀一边-传递性•传递关系：对所有aRb, 且bRc 有aRc•定理：R 是A 上的关系, |A| = n 则R 是A 上的传递关系 <=> R 2 ≤ R•M R 2 = ⨀ = •R 2 = ∅ ≤ R•写出A = {(, ), (, )}•写出M R = ()•M R 2 = M R ⨀ M R•画出R 2的有向图•判断R 是否传递-等价关系•R 是⾃自反对称关系 0 1 0 0 0 0 0 0 0 0 0 0⎛⎝⎜⎜⎞⎠⎟⎟ 0 1 0 0 0 0 0 0 0 0 0 0⎛⎝⎜⎜⎞⎠⎟⎟ 0 0 0 0 0 0 0 0 0 0 0 0⎛⎝⎜⎜⎞⎠⎟⎟ab c•例: A = {1, 2, 3, 4}• R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4)}•M R = •m 11 = m 22 = m 33 = m 44 = 1, 则R 是⾃自反的•M R T = = M R , 则R 是对称的•M R 2 = M R ⨀ M R = = M R •R 2 = R, R 2 ∈ R, R 是传递的•例：A = Z, aRb <=> a ≣b(mod 2) 3≣5(mod 2)->3除2的余等于5除2的余•∀a ∈Z, a ≣a(mod 2), 则(a, a) ∈ R, ⾃自反•∀aRb, a ≣b(mod 2), b ≣a(mod 2), 则bRa, 对称• ∀aRb, 且bRc, a ≣b(mod 2), b = c(mod 2)有a ≣c(mod 2), 则aRc 传递-定理：P = {A 1, A 2, … A R }, 是A 的⼀一个划分, aRb <=> a 与b 在P 的同⼀一块A 之中, 则R 是A 上的⼀一个等价关系•R = {A 1×A 1∪A 2×A 2∪…∪A k ×A k }•例：A = Z, aRb <=> a ≣b(mod n ), A = {1, 2, 3, 4}, P = {{1, 2}, {3, 4}}, R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 3), (4, 4)}•★等价类: R 是等价关系(P 147,21)•若R(x) = {b | (x, b) ∈ R}, 则称R(x)是x 的等价类•如R = {(1, 1), (1, 2), (2, 1), (2 ,2)}•R(1) = {1 ,2}1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1⎛⎝⎜⎜⎜⎜⎞⎠⎟⎟⎟⎟ 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1⎛⎝⎜⎜⎜⎜⎞⎠⎟⎟⎟⎟ 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1⎛⎝⎜⎜⎜⎜⎞⎠⎟⎟⎟⎟•R(2) = {1, 2}-定理：R是A上的等价关系, P = {R(a) | a ∈ A}, 则P是A上的⼀一个划分，记做A/R •满⾜足：(1) a∈A 的所有并集, R(a) = A• (2)。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
以(x)(P(x)∧Q(x))来描述是不可行的
取值与论域有关
总结：“所有的……都是……”，这类语句的形
式描述只能使用而不能使用∧
4.4.2 “有的实数是有理数”的形式化
翻译：存在一事物它是实数，而且是有理数．
判断一个公式是否为合式公式
合式公式 p, P(x,y)∨Q(x,y), (x)(A(x)B(x)), (x)(A(x)(y)B(x,y)) 非合式公式 (x)F(x)∧G(x), 违反第3条 (x)((x)F(x)), 违反第4条 (x)P(y), 违反第4条
4.4 自然语句的形式化
量词的运算优先级高于逻辑联结词
存在量词
举例 “有的事物是动物”
这命题中“有的”就是表示个体变元数量的词，“有的”的等义于 “存在” 形式化：(x)Q(x), 其中Q(x)表示x是动物
符号: (x)读作至少有一个x或存在一个x或有某
些x．所约束的变元是x
定义: 命题(x)Q(x)当且仅当在论域中至少有一个x0， Q(x0)为真时方为真．这就是存在量词的定义 性质: (x)Q(x)＝F成立, 当且仅当对所有的x0D, 使Q(x0)＝F 注意(x)(P(x)Q(x)) (x)P(x)Q(x)
这命题中的“凡”就是表示个体变元数量的词， 个体x的论域是包含一切事物的集合， 形式化：(x)P(x)
符号: (x)读作所有的x或任一x，一切x．所约束的个 体是x 定义: 命题(x)P(x)当且仅当对论域中的所有x来说， P(x)均为真时方为真． 性质: (x)P(x)＝F成立, 当且仅当有一个x0D, 使P(x0) ＝F 注意(x)(P(x)Q(x)) (x)P(x)Q(x)
举例
“张三和李四是表兄弟”． “5大于3”． “张三比李四高”． “天津位于北京的东南”． “A在B上”． 其中“是表兄弟”是谓词． 其中“大于”是谓词． 其中“比……高”是谓词． 其中“位于……东南”是谓词． 其中“在……上”是谓词．
4.1.2 个体词
个体词(主词)
个体词是一个命题里表示思维对象的词 P(张三)中的张三是个体词或称个体常项 谓词P(x)中的变量x为个体变项或个体变元 有n个个体的谓词P(x１，…，xn)称n项(目、元)谓词 如果P是已赋有确定含义的谓词，就称为谓词常项 如果P表示任一谓词时，就称为谓词变项
n项(目、元)谓词
个体域
将个体变项的变化范围称为个体域或论域，以D表示 论域是重要的概念，同一谓词在不同论域下的描述形式可能不同，所取的真假 值也可能不同
约定
谓词逻辑的个体域除明确指明外，都认为是包括一切事物的一个最广的集合 谓词变项的变化范围，不做特别声明时，指一切关系或一切性质的集合
联结词可照搬 有的等值式推理式也可移植 但个体变元，谓词、量词等新概念，特别是个体论域常是无限 域，加大了处理难度 最简单又深刻的例子 在命题逻辑里一个公式不难判定它是否是重言式，真值表法是 能行的方法．然而在谓词逻辑里就没有一般的能行算法来判定 任一公式是不是普遍有效的(或称定理、永真式)
4.2 函数和量词 4.2.1 函数
以P(x)表示x是有理数，Q(x)表示x是实数，这句话
的形式描述应为
(x)(P(x)∧Q(x))
其真值与论域有关
设论域D中没有有理数，如D1={e，∏，张三，桌子}，则为假 仅当论语D中包含有理数时方为真
若以(x)(Q(x)P(x))来描述，则在D1中也为真，错误
量词的辖域
量词所约束的范围称为量词的辖域．如
(x)R(x, y)中，R(x, y)是(x)的辖域 (x)((y)P(x, y))中，P(x, y)是(y)的辖域, (y)P(x, y)是(x)的 辖域
命题形式P(x), 在P确定为某个谓词常项时, 如P(x)表示x 是自然数, 如何化为命题?
约定函数符号用小写字母表示，如f，g，father，…
4.2.2 量词
用来表示个体数量的词是量词 可看作是对个体词所加的限制、约束的词
不是对数量的具体描述 是讨论两个最通用的数量限制词： “所有的”VS.“至少有一个”， “全称量词” VS. “存在量词”。
全称量词
举例 “凡事物都是运动的”
使用计算机来处理由自然语句或非形式化陈述的问题， 首要的工作是问题本身的形式描述 使用谓词逻辑描述以自然语句表达的问题，首先要将 问题分解成一些原子谓词，引入谓词符号，进而使用 量词、函数、联结词来构成合式公式
4.4.1 “所有的有理数都是实数”的形式 化
翻译：对任一x而言，如果x是有理数，那么x是实
命题逻辑的局限性
举例：凡有理数都是实数，2/7是有理数，所以2/7是实数
直观上看这样的推理应该是正确的。然而在命题逻辑里就不能描述 这种推理 设这三个命题分别以p, q, r表示，相应的推理形式为：(p q) r。由于对任意的p，q，r来说这推理形式并非重言式，也就是说这 个推理形式不是正确的 对这样的人们熟知的推理关系在命题逻辑中得不到正确的描述，自 然是命题逻辑的局限性
数
以P(x)表示x是有理数，Q(x)表示x是实数，则有 (x)(P(x)Q(x))
因为x的论域是一切事物的集合，所以x是有理数是 一个条件
当P(x)与Q(x)为此例中的谓词常项时，(x)(P(x)Q(x)) 的真值与论域无关
若D1含有有理数也含有非有理数，例如D1={1/2, ∏, 张三, 桌子}, 该式恒成立
例 张三是学生．李四是学生．
在命题逻辑里，这是两个不同的命题，只能分别以两个不同的 符号如p，q表示 然而这两个命题的共同点是，它们都有主词和谓词
主词“张三”、“李四”是不同的，而谓词“是学生”是相同的
现在强调它们的共同点．若以大写符号P表示“是学生”，这 样两个命题的共同性可由P来体现了，但主词还需区别开来， 便可把这两个命题分别写成P(张三) 和P(李四)
变元易名规则
变元易名规则:
(x)P(x)= (y)P(y) (x)(P(x)Q(x,y))≠(y)(P(y)Q(y,y))
4.3 合式公式
目的
限定所讨论的命题形式的范围 需考虑个体词、量词 限定在量词仅作用于个体变元 不允许量词作用于命题变项和谓词变项 也不讨论谓词的谓词 例如：不考虑下述公式 (p)(Q(x)p)，量词作用于命题p (Q)(x)(Q(x)P(x))，量词作用于谓词Q(x) P(x,Q(y))，谓词的谓词
要认识这种推理规律，只有对简单命题做进一步剖析。这就需要 引入谓词、变量以及表示变量数量的量词(全称量词和存在量词， 分别表示一般的和个别的情况) ，进而研究它们的形式结构和逻 辑关系，这便构成了谓词逻辑
说明
约定
小写字母表示命题 大写字母表示谓词
内容仅限于一阶谓词逻辑或称狭谓词逻辑
4.1 谓词和个体词 4.1.1 谓词
明显地描述了这两个命题的共同点和不同点 一般地可引入变量x来表示主词，于是符号P(x)就表示“x是学 生”．通常把P(x)称作谓词
谓词描述性定义
一元谓词
在一个命题里，如果主词只有一个，这时表示该主词性质或属性的 词便称作谓词．这是一元(目)谓词，以P(x)，Q(x)，…表示
多元谓词
在一个命题里，如果主词多于一个，那么表示这几个主词间的关系 的词称作谓词．这是多元谓词，以P(x, y)，Q(x, y)，R(x, y, z), … 表示．
谓词的真值依赖于个体变元的论域
4.1.4 谓词逻辑与命题逻辑
可认为谓词逻辑是命题逻辑的推广，命题逻辑是谓词逻 辑的特殊情形
因为任一命题都可通过引入具有相应含义的谓词(个体词视为常 项)来表示 或认为一个命题是没有个体变元的零元谓词
命题逻辑中的很多概念、规则都可推广到谓词逻辑中延 用
关注一阶谓词逻辑，而不是高阶谓词逻辑
符号约定
命题变项：p, q, r, … 个体变项：x, y, z, … 个体常项：a, b, c, … 或者大写英文单词 谓词变项：P, Q, R, … 谓词常项：大写英文字母, 如GREAT 函数：f, g, … 或者小写英文单词 五个联结词：﹁, ∧, ∨, , 两个量词：, 括号：( )
个体变元x取为个体常项。如：P(2)=T是命题 将x量化。即(x)P(x)或者(x)P(x)都是命题
(x)P(x)表示论域D上任一x, x都是自然数 (x)P(x) = F (x)P(x)表示论域D上有一x, x是自然数
(x)P(x) = T 考虑命题形式P(x,y)如何用量化的方法化为命题？
4.2.3 约束变元和自由变元
在含有量词的命题形式里，必须区分个体词受量词的 约束还是不受量词的约束 若P(x)表示x是有理数，这时的变元x不受任何量词约束， 便称是自由的． (x)P(x)中的两处出现的变元x都受量词的约束，便 称作约束变元，或称被量词量化了的变元 命题形式(x)P(x)Q(y)中，变元x是约束的，而变元y 是自由的
在谓词逻辑中出现变量，自然也会考虑引入函数
函数是某个体域(不必是实数)到另一个体域的映射 不同于谓词：将个体映射为真假值 函数并不单独使用，是嵌入在谓词中