离散数学课件 第一章

合集下载

离散数学第一章命题逻辑PPT课件

离散数学第一章命题逻辑PPT课件

P
Q
0
0
0
1
1
0
1
1
P→Q 1 1 0 1
如: P:雪是黑的。
Q:太阳从东方升起 。
P → Q:如果雪是黑的,则太阳从东方升起 。
命题P→Q是假, 当且仅当P是真而Q是假。
11/20/2020
chapter1
14
1.2 联结词
条件与汉语中“如果…,就…”相类似,但有所区别: (1)自然语言中,“如果P则Q”,往往P和Q有一定的因果 关系,而条件复合命题P→Q中 P和Q 可以完全不相关。 (2)自然语言中,“如果P则Q”,当P为0、Q为1时,整个 句子真值难以确定;而条件复合命题P→Q中,当P为0时, 复合命题的真值为1。 P则Q的逻辑含义:P是Q的充分条件,的表示 命题变元——常用P、Q、R、S等大写字母或加下标的大 写字母P1, Q2, R10, ……表示来表示一个命题,称为命题 变元。 如: P:巴黎在法国。
Q:煤是白色的。
11/20/2020
chapter1
4
1.1 命题及其表示法
3、命题相关概念 简单命题(原子命题)——不能再分解的命题。 复合命题——由若干个简单命题复合而成的命题。 真值表——把组成复合命题的各命题变元的真值的所有 组合及其相对应的复合命题的真值列成表,称为真值表。
11/20/2020
chapter1
6
1.1 命题及其表示法
【例3 】求公式 (P→R)∨(Q→R)的真值表。 解:∵公式含有3个命题变元P、Q、R,
∴真值表有23=8行。其真值表如下表 所示:
11/20/2020
chapter1
7
1.2 联结词
命题和原子命题常可通过一些联结词构成新命题, 这

离散数学课件第一章(第1讲)

离散数学课件第一章(第1讲)

3)区分“可兼或”与“不可兼或(异或,排斥或)” 析取联结词为可兼或 例如: 灯泡有故障或开关有故障。 今天下雨或打雷。 以上例句均为可兼或。
“不可兼或”表示为:▽ (异或),当P和Q均为“T”时, 则P异或Q为“F”。
P
Q
P▽Q
F
F
F
F
T
T
T
F
T
T
T
F
例: 他通过电视看杂技或到剧场看杂技。 他乘火车去北京或乘飞机去北京。
§1 命题与命题联结词
1 命题
《定义》: 具有唯一值的陈述句叫命题。 讨论定义:
(1)命题的值: 命题值可以是真的,也可以是假的,但不能同时 既为真又为假。
(2)命题的真假值表示: 命题中所有的“真”用“T ” 或“ 1”表示 命题中所有的“假”用“F ”或 “0 ”表示。
(3)命题分类: ⅰ)原子命题:一个命题,不能分解成为更简单的命题。
(2) 合取词(“合取”、 “与”运算) 1) 符号 “Λ” 设P,Q为两个命题,则PΛQ称P与Q的合取, 读作: “P与Q” “P与Q的合取” “P并且Q”
2) 合取运算真值表
P Q PΛ Q
FF
F
FT
F
TF
F
TT
T
QΛP F F F T
注: ①当且仅当P和Q的真值均为 T ,则PΛQ 的真值 为 T 。否则,其真值为 F 。
第一篇 数理逻辑
逻辑:通常指人们思考问题,从某些已知条件出发推出合 理的结论的规律。 数理逻辑:用数学方法来研究推理的规律。包括命题逻辑 和谓词逻辑。 数理逻辑研究方法:采用一套数学的符号系统来描述和处 理思维的形式和规律。
第一章 命题逻辑
§1.命题与命题联结词 §2.命题公式与真值表 §3.命题公式的翻译 §4. 等价式与蕴含式 §5.对偶与范 式 §6.命题逻辑的推理理论 §7.其他联结词

离散数学课件第一章.ppt

离散数学课件第一章.ppt

0
0
0
1
1
31
且 n=max(i,j); (c) A=BC, 其中 B,C 的层次及 n 同(b); (d) A=BC, 其中B,C 的层次及 n 同(b); (e) A=BC, 其中B,C 的层次及 n 同(b). (3) 若公式A的层次为k, 则称A为k层公式.
例如 公式 A=p, B=p, C=pq, D=(pq)r,
E=((pq) r) (rs)
分别为0层,1层,2层,3层,4层公式.
16
公式赋值
定义1.8 设p1, p2, … , pn是出现在公式A中的全部命题变项, 给p1, p2, … , pn各指定一个真值, 称为对A的一个赋值或解释. 若使A为1, 则称这组值为A的成真赋值; 若使A为0, 则称这组
基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表,并用它求公式的成真赋值与成假
赋值及判断公式类型 24
练习1
1. 将下列命题符号化 (1) 豆沙包是由面粉和红小豆做成的. (2) 苹果树和梨树都是落叶乔木. (3) 王小红或李大明是物理组成员. (4) 王小红或李大明中的一人是物理组成员. (5) 由于交通阻塞,他迟到了. (6) 如果交通不阻塞,他就不会迟到. (7) 他没迟到,所以交通没阻塞. (8) 除非交通阻塞,否则他不会迟到. (9) 他迟到当且仅当交通阻塞.
2
命题概念
例1 下列句子中那些是命题? (1) 2是有理数. (2) 2 + 5 = 7.
(3) x + 5 > 3. (4) 你去教室吗? (5) 这个苹果真大呀! (6) 请不要讲话! (7) 2050年元旦下大雪.

离散数学第一章第3讲课件.ppt

离散数学第一章第3讲课件.ppt
PΛ(P∨Q) P
(8)蕴含律: P→Q¬P∨Q (9)等价律:
PQ(P→Q)Λ(Q→P) (10)零 律: P∨TT;PΛFF (11)同一律: P∨FP;PΛTP (12)否定律: P∨¬PT;PΛ¬PF (13)逆反律: P→Q ¬Q→ ¬P
说明: (1)证明上述13组等价公式的方法可用真值表法。 (2) Λ、∨、 均满足结合律,则在单一用Λ、∨、
Λ¬S)→P,Q→¬(P→¬Q)等 所以,一个命题公式的代换实例有无限个。
3.等价置换
《定义》:给定一命题公式A,A’是A的任何部分,若
A’也是一命题公式,则称A’是A的子命题公式。
例:A:(P∨Q)→(Q∨(RΛ¬S))
A的子命题公式有: P、Q、R、¬S、(P∨Q)、(RΛ¬S)、 (Q∨(RΛ¬S))、(P∨Q)→(Q∨(RΛ¬S))等。
(PΛQ)→P为永真式。
(1) 列出真值表证明
P Q P→(P∨Q) (PΛQ)→P
FF T
T
FT T
T
TF T
T
TT T
T
(2)用等价公式证明 P→(P∨Q) ¬P∨(P∨Q) (¬P∨P)∨Q T
(PΛQ)→P ¬(PΛQ)∨P (¬P∨¬Q)∨P (¬P∨P)∨¬Q T
《定理》 命题公式AB的充要条件是A↔B为永真式。
《定理》:给定命题公式A、B、C,若AB,且B C,则AC。 证明:∵AB,且BC, ∴(A→B)Λ(B→C)为永真式, 由I6:(A→B)Λ(B→C) (A→C), ∴(A→C)也为永真式;即,AC成立
《定理》:给定一个命题公式A、B、C,若AB, AC,则A(BΛC) 证明:∵AB Λ AC, ∴(A→B)Λ(A→C)为永真式, 由条件,若A一定为 T ,则B、C均为 T , ∴A→(BΛC)也为 T , ∴A(BΛC)为 T 。

离散数学课件ppt课件

离散数学课件ppt课件
联结词可以嵌套使用,在嵌套使用时,规定如下优先顺序: ( ),┐,∧,∨,→, ,对于同一优先级的联结词,先出现 者先运算。
例1.7 令 P : 北京比天津人口多 Q:22 4 R : 乌鸦是白色的
求下列复合命题的真值:
1P Q P Q R 2Q R P R 3P R P R
解 P,Q,R的真值分别为1,1,0。容易算出 (1)、(2)、(3)的真值分别为1,1,0。
2.在自然语言中,“如果P,则Q”中的前件P与后件Q往 往具有某种内在联系。而在数理逻辑中,P与Q可以无任何内 在联系。
3.在数学或其它自然科学中,“如果P,则Q”往往表达 的是前件P为真,后件Q也为真的推理关系。但在数理逻辑中, 作为一种规定,当P为假时,无论Q是真是假,P→Q均为真。 也就是说,只有P为真Q为假这一种情况使得复合命题P→Q为 假。
PQ 的真值定义为 PQ为真当且仅当P, Q同真值 因此, P, Q一真一假时, P Q为假。
复合命题P Q的真值表: P
0 0 1 1
Q
P Q
0
1
1
0
0
0
1
1
例1.6 将下列命题符号化,并指出它们的真值:
3如 两 圆O1 , O2的面积相等,则它们的半径相等;反之亦然. 4当王小红心情愉快时,她就唱歌;反之当她唱歌时,
真值为真的命题称为真命题;真值为假的命题为假命题。
说明:
1. 命题必须是陈述性语句,而不能是疑问句、命令句、 感叹句等;
2. 命题语句或者为真或者为假,二者必取其一,即命 题的真值是唯一的
判断句子是否为命题的标准: (1)陈述句 (2)有唯一的真值
例1 判断下列句子是不是命题: (1) 4是素数。
第一部分 数理逻辑

《离散数学教案》课件

《离散数学教案》课件

《离散数学教案》PPT课件第一章:离散数学简介1.1 离散数学的定义离散数学是研究离散结构及其相互关系的数学分支。

离散数学与连续数学相对,主要研究对象是集合、图、逻辑等。

1.2 离散数学的应用离散数学在计算机科学、信息技术、密码学等领域有广泛应用。

学习离散数学能够为编程、算法设计、数据结构等课程打下基础。

第二章:集合与逻辑2.1 集合的基本概念集合是由明确定义的元素组成的整体。

集合的表示方法:列举法、描述法、图示法等。

2.2 集合的基本运算集合的并、交、差运算。

集合的幂集、子集、真子集等概念。

2.3 逻辑基本概念命题:可以判断真假的陈述句。

逻辑联结词:与、或、非等。

逻辑等价式与蕴含式。

第三章:图论基础3.1 图的基本概念图是由点集合及连接这些点的边集合组成的数学结构。

图的表示方法:邻接矩阵、邻接表等。

3.2 图的基本运算图的邻接、关联、度等概念。

图的遍历:深度优先搜索、广度优先搜索。

3.3 图的应用图在社交网络、路径规划、网络结构等领域有广泛应用。

学习图论能够帮助我们理解和解决现实世界中的问题。

第四章:组合数学4.1 排列与组合排列:从n个不同元素中取出m个元素的有序组合。

组合:从n个不同元素中取出m个元素的无序组合。

4.2 计数原理分类计数原理、分步计数原理。

函数:求排列组合问题的有效工具。

4.3 鸽巢原理与包含-排除原理包含-排除原理:解决计数问题时,通过加减来排除某些情况。

第五章:命题逻辑与谓词逻辑5.1 命题逻辑命题逻辑关注命题及其逻辑关系。

命题逻辑的基本运算:联结词、逻辑等价式、蕴含式等。

5.2 谓词逻辑谓词逻辑是命题逻辑的推广,引入量词和谓词。

谓词逻辑的基本结构:个体、谓词、量词、逻辑运算等。

5.3 谓词逻辑的应用谓词逻辑在计算机科学中用于描述和验证程序正确性。

学习谓词逻辑能够提高对问题本质的理解和表达能力。

第六章:组合设计6.1 组合设计的基本概念组合设计是指从给定的有限集合中按照一定规则选取元素,构成满足特定条件的组合。

离散数学第一章PPT课件

离散数学第一章PPT课件

R 0 1 0 1 0 1 0 1
Assignments(作业)
第30页: 4
1.3 公式分类与等价式
1.3.1 公式分类 1.3.2 等价公式(等值演算) 1.3.3 基本等价式----命题定律 1.3.4 代入规则和替换规则 1.3.5 证明命题公式等价的方法
1.3.1 公式分类
定义1.13 设A是一个命题公式,对A所有可能的解释: (1)若A都为真,称A为永真式或重言式。
(2)若A都为假,称A为永假式或矛盾式。
(3)若至少存在一个解释使得A为真,称A为可满足式。
例1 从上一节真值表可知,命题公式(PQ)(P∨Q)为 重言式,(PQ)∧Q为矛盾式,PQ)∧R为可满足式。
注: 1、 永真式必为可满足式,反之则不然;永真式的否定是永 假式,反之亦然; 2、 决定一个公式是否是一个永真式、永假式或可满足式有 三种方法:真值表法(适用于变元少而简单的公式)、求主范
1.否定词(negation connective )﹁
定义1.4 复合命题“非P”称为命题P的否定,记作
P,读作非P。 P为真当且仅当P为假。
例3 设 P:离散数学是计算机专业的核心课程, 则 P:离散数学不是计算机专业的核心课 程。
2.合取词(conjunction connective )∧
命题符号化的目的在于用五个联结词将日 常语言中的命题转化为数理逻辑中的形式命题, 其关键在于对自然语言中语句之间的逻辑关系 以及命题联结词的含义要有正确的理解,使用 适当的联结词: (1)确定语句是否是一个命题;
(2)找出句中连词,用适当的命题联结词表
示。
Assignments(作业)
第30页: 3(偶数小题)
定义1.12 设A是含有n个命题变元的命题 公式,将命题公式A在所有赋值之下取值的情 况汇列成表,称为A的真值表( truth table )。 为列出一个公式的真值表,我们约定: ①命题变元按字典序排列;②对公式的每个 解释,以二进制从小到大列出;③当公式较 复杂时,可先列出子公式的真值,最后列出 所给公式的真值。

离散数学第一章课件

离散数学第一章课件



表示“或者” “或者”有二义性,看下面两个例子: 例1-2.3. 灯泡或者线路有故障。 例1-2.4. 第一节课上数学或者上英语。 例3中的或者是可兼取的或。即析取“∨” 例4中的或者是不可兼取的或,也称之为异或、 排斥或。即“ ”.
28
1. 析取“∨”

例1-2.3. 灯泡或者线路有故障。 P:灯泡有故障。 Q:线路有故障。 例中的复合命题可表示为:P∨Q P∨Q读成P析取Q,P或者Q。 P∨Q的真值为F,当且仅当P与Q均为F。
11
数理逻辑把推理符号化之二

设M(x): x是金属 . 设C(x): x能导电. 设x 表示: 所有的x . 设 a 表示铜. 例2的推理过程表示为: 前提:x(M(x)C(x)) (所有金属都导电.) 前提:M(a) (铜是金属.) 结论:C(a) (铜能导电.) (其中符号M(x)是谓词,所以这就是第二章 “谓词逻辑”中所讨论的内容.)

31
四.条件 (蕴涵)“”




表示“如果… 则 …”, 例1-2.5: P表示:缺少水分。 Q表示:植物会死亡。 PQ:如果缺少水分,植物就会死亡。 PQ:也称之为蕴涵式,读成“P蕴涵Q”, “如果P则Q”。 也说成P是PQ 的前件,Q是PQ的后件。还 可以说P是Q的充分条件,Q是P的必要条件。
24
1-2 联结词



复合命题的构成:是用“联结词”将原子命题 联结起来构成的。 归纳自然语言中的联结词,定义了六个逻辑联 结词,分别是: (1) 否定“” (2) 合取“∧” (3) 析取“∨” (4) 异或“ ” (5) 蕴涵“” (6) 等价“”
25
一. 否定“” (Negation)

北京工业大学《离散数学》课件-第一章 逻辑和证明

北京工业大学《离散数学》课件-第一章 逻辑和证明

第一章基础:逻辑和证明1内容提要◦逻辑(logic):思维的规律和规则,是研究推理的科学公元前四世纪由希腊哲学家亚里士多德首创◦数理逻辑:用数学方法研究逻辑,又称符号逻辑十七世纪由德国数学家莱布尼兹提出2内容提要命题逻辑数理逻辑谓词逻辑34日常使用的自然语言,往往易产生二义性:•冬天,能穿多少穿多少;夏天,能穿多少穿多少。

•中国足球,谁也打不赢;中国乒乓球,谁也打不赢。

引入形式符号体系5本节摘要◦命题(离散对象)◦命题逻辑(离散对象之间的关系)◦命题逻辑的应用6命题◦命题是一个陈述语句,可判定真假◦举例:◦月亮是绿色奶酪做的。

◦1+0=1◦别的星球有生物。

◦坐下!◦几点了?◦X+1=2。

◦我正在说谎。

7命题非命题说明:◦只有具有确定真值的陈述句才是命题。

一切没有判断内容的句子,无所谓是非的句子,如:感叹句、祈使句、疑问句等,都不是命题。

◦命题只有两种真值,“命题逻辑”又称“二值逻辑”。

◦“具有确定真值”指客观上的具有,与我们是否知道它的真值是两回事。

8命题逻辑◦命题变量:表示命题的变量,习惯上用p, q, r, s, ...表示;真命题用T表示,假命题用F表示◦命题逻辑:涉及命题的逻辑领域研究对象:复合命题由已知命题用逻辑运算符(联结词)组合而来只有成绩好和竞赛获奖的同学才能保研操作符:逻辑联结词包括[否定,合取,析取,异或,条件,双条件]9复合命题:否定联结词◦令p为一命题,则p的否定记为 p,读作“非p”,一元运算符。

命题之否定的真值表T FF T“非”放在命题最前面表意更清晰。

p:地球是圆的;p:并非地球是圆的。

p:咱们班上都是男同学;p:咱们班上都不是男同学(×)or 咱们班上不都是男同学(√)。

10◦令p 和q 为命题,p 和q 的合取(conjunction )记作pq 。

11复合命题:合取联结词T T T T F F F T F F F F两命题析取的真值表阳光灿烂,但是正在下雨= 阳光灿烂正在下雨我在吃饭我女朋友在吃饭我和女朋友一起吃饭= 我和女朋友都在吃饭复合命题:析取联结词◦令p和q为命题,p和q的析取(disjunction)记作p q。

《离散数学》完整课件

《离散数学》完整课件

第三节 复合关系与逆关系
本节讨论关系的复合运算与逆运算极其 性质;主要考虑了下列问题:
1.关系的复合是否满足交换律、结合律、 关系的复合对于集合的并(交)是否有分 配律;
2.关系的复合运算与逆运算在关系图和 关系矩阵上的反应;
3.关系的复合运算与关系的逆运算之间 的运算规律.
返回本章首页
11 2021/6/7
|A|<|B|三条中有且仅有一条成立;
2.Bernstein定理:设A,B是两个集合,若|A|≥|B| 且|A| ≤ |B|,则集合A,B等势;
3.设A是任意集合,P(A)为A的幂集,则P(A)的基 数大于A的基数.
返回本章首页
23 2021/6/7
本章小结
本章的主要内容有:集合的等势、有限 集与无限集、可数集与不可数集、较为 常见的集合的基数等.集合的基数反映了 集合的元素的多少,它是集合的一种性 质,一种与该集合等势的集合构成的集 合族的共同性质.
返回本章首页
17 2021/6/7
第九节 复合映射与逆映射
映射的复合就是关系的复合,须注意的是 复合的次序,主要内容有:
1.映射的复合具有结合律,但不符合交换律; 2.区分了左逆与右逆;给出里左逆、右逆
与单射、满射之间的关系; 3.可逆与左、右逆之间的关系.
返回本章首页
18 2021/6/7
本章小结
1.本节首先给出了公式的蕴涵关系的三个等价定 义,及蕴涵关系具有的性质,给出了15个基本蕴 涵式;
2.把蕴涵概念推广,得到公式的逻辑结果的定义;
3.为了研究推理,还引进演绎的概念;
4.用实例说明推理方法.
返回本章首页
30 2021/6/7
第六节 形式演绎

离散数学课件第一章

离散数学课件第一章

图的连通性
04
CHAPTER
逻辑基础
命题逻辑中的基本概念包括命题、真值和逻辑运算,通过这些基本概念可以表达和推理复杂的命题关系。
命题逻辑在计算机科学、人工智能、自动化等领域有广泛应用,是形式化方法的重要基础。
命题逻辑是研究命题之间关系的逻辑分支,主要涉及命题的否定、合取、析取、蕴含等基本运算。
命题逻辑
详细描述
集合的运算包括并集、交集、差集等。并集是指两个或多个集合合并为一个新的集合,包含所有元素;交集是指两个或多个集合中共有的元素组成的集合;差集是指从一个集合中去掉另一个集合中的元素后剩余的元素组成的集合。这些运算在离散数学中有着广泛的应用。
总结词
集合的运算
集合的基数是指集合中元素的个数,通常用大写字母表示。
鸽巢原理
THANKS
感谢您的观看。
集合论
图论是研究图(由节点和边构成的结构)的数学分支,它广泛应用于计算机科学和工程学科。
图论
逻辑是离散数学的另一个重要分支,它研究推理的形式和规则,是计算机科学和人工智能的基础。
逻辑
组合数学是研究计数、排列和组合问题的数学分支,它在计算机科学和统计学中有重要的应用。
组合数学
离散数学的研究内容
02
CHAPTER
离散数学课件第一章
目录
绪论 集合论基础 图论基础 逻辑基础 组合数学基础
01
CHAPTER
绪论
离散数学是研究离散对象(如集合、图、树等)的数学分支,它不涉及连续的量或函数。
离散数学的定义
离散数学的起源
离散数学的特点
离散数学的起源可以追溯到古代数学,如欧几里得几何和数论。
离散数学强调结构、关系和组合,而不是连续性和微积分。

离散数学ppt

离散数学ppt

如果X Y,则将A中的X用Y置换所得到 的命题公式B与A等价。 例题: 1、证明:(PQ) (P Q) P 2、证明:(PQ) (Q R) (P Q) R 对偶式: 对偶的概念: 对偶定理:设A,B是命题公式,如果 A B,则A* B*
第四节 主析取范式与主合取范式 命题公式的规范化 1、命题联结的归约:最小命题联结词组 2、命题范式 定义1:一个命题公式称为合取范式,如果它具 有如下形式:A1 A2 …An,其中A1 , A2 , …,An都是由命题变元或其否定所组成 的析取式。 定义1:一个命题公式称为析取范式,如果它具 有如下形式:A1 A2 … An,其中A1 ,
注: ①双条件联结词与自然语言中的
“当且仅当”,“充分必要”类似, 但也不尽相同。
②二元运算
命题联结词除了上述五个之外,还有不可 兼析取、条件否定、与非、或非联结词。 在一个复合命题中往往含有多个命题联结 词,其运算的次序是:、、、、 第二节 命题公式及其分类 直观地说,由命题变元、命题常量、命题 联结词、括号组成的一个有意义的式子 成为命题公式。
类似于主析取范式,也有主合取范式。 定义:n个命题变元的析取式,称为布尔大 项或析取,如果每个命题变元或其否定 不能同时出现,但二者必须出现且仅出 现一个。 注:①n个命题变元构成的布尔 大项有2n个 ②布尔大项的编码:命题变元-0,其否定-1 布尔大项的常见性质: 1、每个大项当其真值指派与编码相同时,
的量词。 例子: 所有人都要呼吸:(x)M(x)H(x) 每个学生都要参加考试: (x)P(x)Q(x) 2、存在量词- 用以表示“有一些”,“至少有一个”等 概念的量词。 例子: 有些人是聪明的:
有的人早饭吃面包: 全称量词与存在量词统称为量词。 在上面的例子中,每个由量词确定的表达 式,都与个体域有关。我们通常总是在 全总个体域中考虑问题,因此就要通过 相应的谓词对个体变元的取值范围加以 说明,这就是特性谓词。一般地,对全 称量词,特性谓词常做蕴含的前件;对 存在量词,特性谓词常作合取项。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离 散 数 学
主讲教师 李红军 北京林业大学 理学院
BEIJING FOREST UNIVERSITY
教材及参考资料
教材:
1耿素云,屈婉玲,张立昂编著,离散数学,清华大学出版 社, 2008年3月(第4版) 2耿素云,屈婉玲编著.离散数学(修订版).高等教育出版社, 2004年
参考资料:
1 左孝凌编著,离散数学,上海科学技术出版社
1.1 命题与联结词 命题:能判断真假而不是可真可假的陈述句。 命题的真值:命题为真或者假的判断。 真命题:真值为真的命题。 假命题:真值为假的命题。 注:任何命题的真值都是惟一的;
用“1”表示真,用“0”表示假。
例 1.1 :判断下列句子哪些是命题.
(1)
3 是有理数。
(2) 2是素数。 (3) X+Y>10。
1 3
m z 1 r m 1
z m 1
1 2
1
3
比赛结束,三位观众各猜对了一半,并且没有并列名次.问:中 国、美国、日本的各排名第几? 设z1:中国第一;z2 :中国第三;r1:日本第一; m1:美国第一;m2:美国第二; m3:美国第三.
例1的参考答案 m1 z3 1 r1 m3 1 z1 m2 1
对偶原理
A和A*是互为对偶式,P1, P2 ,……Pn是出现在A和A*的原子变元,则 A(P1,…,Pn) A*( P1,…, Pn) A( P1,…, Pn) A*(P1,…,Pn)
即公式的否定等值于其变元否定的对偶式。 例:A为PQ,则A*为PQ, 则(PQ) PQ
真值表
将命题公式A在所有赋值下取值情况列成表
试考虑求公式A的真值表的步骤? 例1 求下列公式的真值表,并求出成真赋值和成假赋值. 1) p(¬ r∧q) 2) (p∨q)(¬ p q)
3) ¬ p ∧ (p∨(¬ q∧p))
命题公式的类型
永真式(重言式):公式在一切赋值下的真值均为真 永假式(矛盾式):公式在一切赋值下的真值均为假
求主合取范式的方法:
1、等值演算法; 2、真值表法;
3、利用主析取范式来得出主合取范式。
主范式有何作用? 永真式、永假式的主析取和主合取范 式有何特点?
补充 应用举例
例1 奥运会短跑比赛现场,三位观众预测比赛结果: 甲:“美国第一,中国第三.” 乙:“日本第一,美国第三.” 丙:“中国第一,美国第二.”
{, } {, }
{ }
{ }
1.5 对偶式与范式
一 对偶式
1 定义 在仅含有联结词 , ,,的命令题公式A中, 将换成,将换成,同时T和F(既0和1)互相 替代,所得公式A*称为A的对偶式。显然A与A*互 为对偶式。
例1 试写出下列命题公式的对偶式 A:(pq) r, 则A*为(pq) r A:(pq)(p(qs)) 则A*为(pq)(p(qs))
同类关联词语:q是p的必要条件,只有…才,只要…就, 除非…才,
练习: 1) 如果它是鸟,就能飞。 2) 只有是鸟,它才能飞。 3) 除非它是鸟,否则它就不能飞。
4) 除非明天不下雨,否则我就不去香山. 5) 我不玩游戏,除非我情绪不稳定.
5 等价 符号:↔,p ↔ q读作“p等价于q”,“ p当且仅 当q”,“p是q的充要条件”。 p ↔ q的真值表为 p 0 0 1 1 q 0 1 0 1 p↔q 1 0 0 1
q 0 p∨q 0
p ∨ q 真值表
0
1 1
1
0 1
1
1 1
同类关联词语有:要么…要么, 注:“或”分为“相容或”和 “排斥或”两种.
4 蕴含 符号: , p q 读作“p蕴含q”,“如果P则q”, “当p,则q”,“p是q的充分条件”。 P Q的真值表 p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1
学习要求:
1. 上课时关闭手机或作静音处理,并且 不能打电话。 2. 必须独立完成作业。 3. 教师补充内容和例题需做笔记
联系方式:
Email: lihongjun_2002@ Tel: 62338357 基础楼:204
知识结构图
离散数学
数理逻辑
集合论
代数结构


第一章 命题逻辑
例1 判定下列两公式是否等值?
1) p 与 ┑( ┑P)
2) (p q) r 与 p (q r)
常见的等值式
1)双重否定律 : ┑( ┑A)A
2) 幂等律: A ∨A A, 3) 交换律: A∨B B∨A, A∧AA
4) 结合律: (A∨B)∨CA∨(B∨C),
5) 分配律: A∨(B∧C) (A∨B)∧(A∨C) A ∧(B∨C) (A ∧ B)∨(A ∧ C) 6)德.摩根律: ┑(A ∨ B) ┑A∧┑B, ┑(A ∧ B) ┑A∨┑B


全功能集
一个联结词集合,若对于任何一个公式均可以用该 集合中的联结词来等值比较,就称他为全功能联 结词组(功能完备集)
如:{ ¬ ,∧,∨
}
极小的全功能集
如果一个联结词的功能完备集中不含冗余的联结词, 就不再具备这种特性,就称为极小全功能联结词组 (极小的功能完备集) 如:{ ┓, }
1)、P P 2)、p Q 3. P Q R 4. P (Q R) 5. P Q R S 简单析取式 简单合取式 简单合取式 都不是 简单合取式 都不是
6. P Q பைடு நூலகம் R
3 范式的概念
析取范式:由有限个简单合取式的析取构成的析取 式称为析取范式。 合取范式:由有限个简单析取式的合取构成的合取 式称为合取范式。
7) 吸收律 : 8) 零律 :
A ∧(A ∨ B) A, A∨(A∧B) A A ∨ 1 1 , A ∧00 A ∧1 A
9) 同一律: A ∨ 0 A, 10) 排中律: A ∨ ┑A 1 11) 否定律: A ∧ ┑A 0
12) 蕴含等值式:AB ¬ A∨B
13) 等价等值式:A↔B (AB)∧(BA)


q→p
1.2 命题公式及其赋值
命题常项(命题常元):真值惟一确定的命题. 记为:p,q,… 命题变项(命题变元):真值可以变化的陈述句. 记为:p,q,… 如 p: 海子是诗人.
q 命题变元
命题常元
命题公式 将命题常项和命题变项,用逻辑联结 词和圆括号按照一定的逻辑关系连接起来的符号 串称为合式公式,简称公式。 命题公式的递归定义如下:
2、内移或消去否定号;
3、利用分配律。 注:公式的范式不唯一。
5 主析取范式
极小项 公式中共有n个命题变项p1,……,pn 这n个变项的合取式中,每个变项pi和其否定 pi,均出现且两者仅出现一个,并且按命题变 项的下标排列(字母按字典序列)这样的简单 合取式称为极小项,又称布尔合取。 主析取范式 若干个不同的极小项的析取式, 称为主析取范式 。 定理 任何一个命题公式均存在一个与之等值的主 析取范式,而且是唯一的。
设A* ,B*分别是A和B的对偶式, 如果A B,则A* B*。 这就是对偶原理。如果证明了一个等值公式,其对 偶式的等值式同时也成立。可以起到事半功倍的效 果。 例如:A(PQ)(P(PQ)) B PQ 可以证明AB 而A的对偶式为A*(PQ)(P(PQ))
对偶原理2
B的对偶式为B* PQ
根据对偶原理,则A* B*也成立。
二 范式
1 文字:命题变项及其否定统称作文字。 2 简单析取式 仅由有限个文字的析取构成的析 取式称为简单析取式。
简单合取式 仅由有限个文字的合取构成的合 取式称为简单合取式。
注:单个文字既是简单析取式,又是简单合取式。
例:指出下列式子哪些是简单析取式哪 些是简单合取式?
m m 1 m (r m )
1 1 1 1 3
(m r ) (m m )
000
3
1
1
1
3
z 1 z 0从而m 1
14) 假言易位: AB ┑B ┑A 15) 等价否定等值式: A↔B ¬ A ¬ B 16) 归缪论: (AB) ∧( A ¬ B) ┑A
例2 用等值演算法验证等值式
教材p10—12 例1.9,1.10,1.11
1.4 联结词全功能集
n元真值函数 称F:{0,1}n{0,1}为n元真值函数. 至多可以定义多少个二元联结词? 排斥或联结词 与非联结词 或非联结词
命题符号化练习
1 晓红和元元是朋友 p:晓红和元元是朋友.(简单命题)
2 老王或小李中有一人去上海 p:老王去上海,q:小李去上海 ┑q) (┑ p q) (p

3 除非天下大雨,否则她不在室内运动 p:天下大雨 q:她在室内运动 ┑p→┑q q→p 或者 4 不经一事,不长一智 ┑p→┑q 或者 p:经一事 q:长一智
∧,∨,
→,
其次;
最低.
3 对于优先级相同的联结词,按从左到右 的顺序运算.
命题公式的赋值
指派(赋值):命题公式中出现n个不同的命题变 项P1Pn ,对这n个命题给定一组真值指定称为 这个公式的一个指派或赋值或解释。 若一个公式中出现n个不同的命题变项,每个变项 分别可以取成1、0,那么该公式共有个2n不同的指 派。 成真赋值 成假赋值
1. 单个命题变项(或常项)是合式公式。
2. 如果A是合式公式,则┒A是合式公式。
3. 如果A、B是合式公式,则A∨B、A∧B、 A→B、A↔B也是合式公式。
当且仅当有限次运用(1)(2)(3)所得到的 符号串是合式公式。
括号与联结词的优先级
1 公式的最外层括号可以省略; 2 联结词的优先级: ┓ 最高;

1. 否定 符号:┑ P是命题, ┑ P读作“非P”。 P真值表为
相关文档
最新文档