命题逻辑.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)的真值表。 解：∵公式含有３个命题变元P、Q、R,
∴真值表有２3=8行。其真值表如下表 所示：
11/20/2020
chapter1
7
1.2 联结词
命题和原子命题常可通过一些联结词构成新命题, 这
《逻辑学》PPT全套课件
第一章 引 论
第一节 传统逻辑与现代逻辑
一
释 “ 逻 辑 ”
()
一
λóyos(逻各斯) → Logic →逻辑
亚里士多德 彼得《逻辑大全》
逻 名学 辩学 论理学 理则学
辑 严复 穆勒名学 （Mill 逻辑
一
学体系）
词 章士钊 逻辑指要
的 由 来
()
希腊文中的λóyos是个多义词，指
第四节 假言命题及其推理
一、假言命题
定义：假言命题是反映某一事物情况是 另一事物情况存在条件的命题。
种类：（一）充分条件假言命题 （二）必要条件假言命题 （三）充分必要条件假言命题
（一）充分条件假言命题
1、什么是充分条件：如果有p就一定有q， 没有p不一定没有q，这样p就是q的充分 条件。（有之必然，无之未必不然）
2、什么是充分条件假言命题：反映前件 是后件的充分条件的假言命题。
例：如果天下雨，那么地上湿。
倘若一个整数的末尾数是0，则这个 数就能被5整除。
（一）充分条件假言命题
3、充分条件假言命题的公式： 如果p，那么q p → q (“→”是蕴涵符号，表示现代
汉语中的“如果……那么……”) 4、充分条件假言命题的语言表达形式：
相容选言命题就是选言肢可以同真的选言命题。
公式 p或者q p∨q （“P”和“q”表示肢命 题，“或者”表示联结词。也可以用“∨”析 取符号表示“或者” ）
在现代汉语中相容选言命题的联结词还可表达 为：“可能……也可能……”，“也许……也 许……”
相容选言命题的逻辑值
1、相容选言命题的真值表
p
q
真
不相容选言命题的逻辑值
1、不相容选言命题的真值表
逻辑学：命题逻辑
2018年8月17日星期五 7
第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如： (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形，则内角和等于180°，这个观点不对。 注：负命题的支命题可以是简单命题，也可以是复合命题。
20语句
任何命题都是通过语句来表达的，但语句和命题并非一一对应：
首先，有的语句不能直接表达命题，如： •（1）西南大学在重庆吗? •（2）请把门关上！ 一般来讲：陈述句与反诘句可以直接表达命题。 其次，同一命题可以用不同的语句来表达，如： “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外，同一命题可用不同的民族语言的语句来表达。 再次，同一语句，可以表达不同的命题，如： 小张将书还给小王，因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表，也可以给f(p)=p这个一元真值函数作如下定义： p为真当且仅当p为假； p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质，可对¬p再否定得到¬¬p，其真值与 p相同，真值表如下：
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待
•
•
——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)
第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如： (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形，则内角和等于180°，这个观点不对。 注：负命题的支命题可以是简单命题，也可以是复合命题。
20语句
任何命题都是通过语句来表达的，但语句和命题并非一一对应：
首先，有的语句不能直接表达命题，如： •（1）西南大学在重庆吗? •（2）请把门关上！ 一般来讲：陈述句与反诘句可以直接表达命题。 其次，同一命题可以用不同的语句来表达，如： “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外，同一命题可用不同的民族语言的语句来表达。 再次，同一语句，可以表达不同的命题，如： 小张将书还给小王，因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表，也可以给f(p)=p这个一元真值函数作如下定义： p为真当且仅当p为假； p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质，可对¬p再否定得到¬¬p，其真值与 p相同，真值表如下：
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待
•
•
——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)
命题逻辑ppt课件
结合词的优先顺序为： , , , , ; 1:假设出现的结合词同级，又无括号时，那么
按从左到右的顺序运算; 2:假设遇有括号时，应该先进展括号中的运算.
留意: 本书中运用的 括号全为圆括号〔〕.
2.2 命题公式
命题变项与合式公式 公式的赋值 真值表 命题的分类
重言式 矛盾式 可满足式
命题变项与合式公式
随堂练习
1：写出命题、简单命题的定义。 2：用符号定义五个结合词及其各自取值情况。 3：写出蕴涵式的定义，分析前件与后件的关系，
列出对应的言语表达方式。 4：写出遇到析取结合词二义性时的判别方式及对应
符号表示。 5：列出下面公式的真值表，阐明各公式的层次
(p q) ((p q) (q p)) (p q) (p q) 6：写出命题公式的定义
pq r
pq
000
0
001
0
010
1
011
1
100
1
101
1
110
1
111
1
r (pq)r
1
1
0
1
1
1
0
0
1
1
0
0
1
1
0
0
公式的类型
定义2.9 设A为一个命题公式 (1) 假设A在它的各种赋值下取值均为真，那么称A为重言 式(也称永真式) (2) 假设A在它的各种赋值下取值均为假，那么称A为矛盾 式(也称永假式) (3) 假设A至少存在一组赋值是成真赋值，那么称A为可满 足式
3.析取式与析取结合词“∨〞
定义2.3 设 p,q为二命题，复合命题“p或q 〞称作p与q的析取式，记作p∨q，∨称作 析取结合词，并规定
p∨q为假当且仅当p与q同时为假. 例即将:p以∨下命q题为符真号化当且仅当p与q至少有一个为真。 此处(1)定2或义4是的素析数.取式p∨q表示的是一种相容性
按从左到右的顺序运算; 2:假设遇有括号时，应该先进展括号中的运算.
留意: 本书中运用的 括号全为圆括号〔〕.
2.2 命题公式
命题变项与合式公式 公式的赋值 真值表 命题的分类
重言式 矛盾式 可满足式
命题变项与合式公式
随堂练习
1：写出命题、简单命题的定义。 2：用符号定义五个结合词及其各自取值情况。 3：写出蕴涵式的定义，分析前件与后件的关系，
列出对应的言语表达方式。 4：写出遇到析取结合词二义性时的判别方式及对应
符号表示。 5：列出下面公式的真值表，阐明各公式的层次
(p q) ((p q) (q p)) (p q) (p q) 6：写出命题公式的定义
pq r
pq
000
0
001
0
010
1
011
1
100
1
101
1
110
1
111
1
r (pq)r
1
1
0
1
1
1
0
0
1
1
0
0
1
1
0
0
公式的类型
定义2.9 设A为一个命题公式 (1) 假设A在它的各种赋值下取值均为真，那么称A为重言 式(也称永真式) (2) 假设A在它的各种赋值下取值均为假，那么称A为矛盾 式(也称永假式) (3) 假设A至少存在一组赋值是成真赋值，那么称A为可满 足式
3.析取式与析取结合词“∨〞
定义2.3 设 p,q为二命题，复合命题“p或q 〞称作p与q的析取式，记作p∨q，∨称作 析取结合词，并规定
p∨q为假当且仅当p与q同时为假. 例即将:p以∨下命q题为符真号化当且仅当p与q至少有一个为真。 此处(1)定2或义4是的素析数.取式p∨q表示的是一种相容性
ch01命题逻辑(第一讲)
它的否定命题怎么表示？ 例如：命题1：今天是星期五
命题2：今天下雨 “今天是星期五且今天下雨”怎么表示？ “今天是星期五或者今天下雨”怎么表示？ 例如：“如果今天下雨，我们就不去踢球”怎么表示？
03:06:43
9
➢ 否定词“¬”（或“”）
否定词（Negation） 是一元联结词。相当于自 然语言中的“非”、“不”等， 真值表如右图。
命题的真值是具有客观性质的，而不是由人的主观
决定的。
03:06:43
3
命题与真值
1.1 命题与联结词
命题的真值：作为命题的陈述句所表示的判断结果称为命题的 真值。
真值的取值：真值只取两个值：真或假。通常用1（或字母T） 表示真，用0（或字母F）表示假。
真命题与假命题：凡是与事实相符的陈述句是真命题，而与事 实不符合的陈述句是假命题。
数理逻辑概述
➢ 数理逻辑是用数学的方法研究思维规律的一门学 科。由于它使用了一套符号，简洁的表达出各种 推理的逻辑关系，因此数理逻辑一般又称为符号 逻辑。
➢ 数理逻辑和计算机的发展有着密切的联系，它为 机器证明、自动程序设计、计算机辅助设计等计 算机应用和理论研究提供必要的理论基础。
03:06:43
1
(2) 2 + 2 ＝ 4 当且仅当 3 是偶数.
0
(3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起.
1
(4) 2 + 2 ＝ 4 当且仅当 美国位于非洲.
0
(5) 函数 f (x) 在 x0 可导的充要条件是 它在 x0 连续.
0
03:06:43
24
1.2 合式公式及分类
1.命题变元
在命题逻辑中，又有命题常元和命题变元之分。如果 P代表一个确定的具体的命题，称P为命题常元；若 P代表一个不确定的泛指的任意命题，称P为命题变 元。显然，命题变元P不是命题，只有用一个特定的 命题或一个真值取代P才能成为命题。这时也说对P 指派或解释，记为I(P)。
命题2：今天下雨 “今天是星期五且今天下雨”怎么表示？ “今天是星期五或者今天下雨”怎么表示？ 例如：“如果今天下雨，我们就不去踢球”怎么表示？
03:06:43
9
➢ 否定词“¬”（或“”）
否定词（Negation） 是一元联结词。相当于自 然语言中的“非”、“不”等， 真值表如右图。
命题的真值是具有客观性质的，而不是由人的主观
决定的。
03:06:43
3
命题与真值
1.1 命题与联结词
命题的真值：作为命题的陈述句所表示的判断结果称为命题的 真值。
真值的取值：真值只取两个值：真或假。通常用1（或字母T） 表示真，用0（或字母F）表示假。
真命题与假命题：凡是与事实相符的陈述句是真命题，而与事 实不符合的陈述句是假命题。
数理逻辑概述
➢ 数理逻辑是用数学的方法研究思维规律的一门学 科。由于它使用了一套符号，简洁的表达出各种 推理的逻辑关系，因此数理逻辑一般又称为符号 逻辑。
➢ 数理逻辑和计算机的发展有着密切的联系，它为 机器证明、自动程序设计、计算机辅助设计等计 算机应用和理论研究提供必要的理论基础。
03:06:43
1
(2) 2 + 2 ＝ 4 当且仅当 3 是偶数.
0
(3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起.
1
(4) 2 + 2 ＝ 4 当且仅当 美国位于非洲.
0
(5) 函数 f (x) 在 x0 可导的充要条件是 它在 x0 连续.
0
03:06:43
24
1.2 合式公式及分类
1.命题变元
在命题逻辑中，又有命题常元和命题变元之分。如果 P代表一个确定的具体的命题，称P为命题常元；若 P代表一个不确定的泛指的任意命题，称P为命题变 元。显然，命题变元P不是命题，只有用一个特定的 命题或一个真值取代P才能成为命题。这时也说对P 指派或解释，记为I(P)。
命题逻辑(联言、选言、负命题)
任何命题都是通过语句来表达的，但语句和命 题并非一一对应： 首先，有的语句不能直接表达命题。 其次，同一命题可以用不同的语句来表达，如： ‚所有的鸟。 此外，同一命题可用不同的民族语言的语句来 表达。
再次，同一语句，可以表达不同的命题。
命题和判断
• 判断：就是被断定者断定了的命题。 • 判断的主要特征：有所断定。
想想看
• 两个女学生走进一餐厅，翻开桌上的菜单，突 然眼前一亮，‚看，熊掌！每盘20元，来两盘 怎么样？‛‚人们都说熊掌名贵，价钱也不贵， ok!‛一会儿，她们吃完了，叫来招待员结帐， 招待员开出帐单：‚一共4025元‛‚什么？你 没搞错吧？‛学生几乎吓晕了。‚熊掌每盘 2000元，你看菜单。‛学生仔细一看，果然是 2000元，中间没有小数点。这下她们急得要哭 了。这时老板出来了，看了几眼付不起钱的学 生，‚没钱，就将证件留下。‛她们乖乖的将 证件交出。学生会出面交涉，老板斩钉截铁说： ‚一分也不能少，如果三天之内不把钱付清， 便立即向法院起诉。……学生只好自认倒霉， 一律师知道了，帮他们追回了所被敲诈的钱。 如何讨？
• 规则： 肯定前件就要肯定后件，否定后件就要否定前件 否定前件就要否定后件，肯定后件就要肯定前件 • 推理蕴涵式为： • （p↔q）∧p →q • （p↔q）∧q →p • （p↔q）∧ p → q • （p↔q）∧ q →p • 某甲犯了罪当且仅当某甲应受刑罚处罚； • 某甲是案犯当且仅当某乙是案犯；
• 负判断由支命题和联结词‚并非‛构成。负 命题的逻辑联结词‚并非‛可以用否定词 ‚‛来表示。 • 日常用语中，负命题的联结词还可以表达为 ‚没有‛、‚不‛、‚这是假的‛、‚这是 错误的‛等。被否定的命题称为支命题，它 可以是简单命题，也可以复合命题。 • 负命题的形式：并非p，也可表示为： p • 负命题的真假表：当支命题为真时，负命题 为假；当支命题为假时，负命题为真。
再次，同一语句，可以表达不同的命题。
命题和判断
• 判断：就是被断定者断定了的命题。 • 判断的主要特征：有所断定。
想想看
• 两个女学生走进一餐厅，翻开桌上的菜单，突 然眼前一亮，‚看，熊掌！每盘20元，来两盘 怎么样？‛‚人们都说熊掌名贵，价钱也不贵， ok!‛一会儿，她们吃完了，叫来招待员结帐， 招待员开出帐单：‚一共4025元‛‚什么？你 没搞错吧？‛学生几乎吓晕了。‚熊掌每盘 2000元，你看菜单。‛学生仔细一看，果然是 2000元，中间没有小数点。这下她们急得要哭 了。这时老板出来了，看了几眼付不起钱的学 生，‚没钱，就将证件留下。‛她们乖乖的将 证件交出。学生会出面交涉，老板斩钉截铁说： ‚一分也不能少，如果三天之内不把钱付清， 便立即向法院起诉。……学生只好自认倒霉， 一律师知道了，帮他们追回了所被敲诈的钱。 如何讨？
• 规则： 肯定前件就要肯定后件，否定后件就要否定前件 否定前件就要否定后件，肯定后件就要肯定前件 • 推理蕴涵式为： • （p↔q）∧p →q • （p↔q）∧q →p • （p↔q）∧ p → q • （p↔q）∧ q →p • 某甲犯了罪当且仅当某甲应受刑罚处罚； • 某甲是案犯当且仅当某乙是案犯；
• 负判断由支命题和联结词‚并非‛构成。负 命题的逻辑联结词‚并非‛可以用否定词 ‚‛来表示。 • 日常用语中，负命题的联结词还可以表达为 ‚没有‛、‚不‛、‚这是假的‛、‚这是 错误的‛等。被否定的命题称为支命题，它 可以是简单命题，也可以复合命题。 • 负命题的形式：并非p，也可表示为： p • 负命题的真假表：当支命题为真时，负命题 为假；当支命题为假时，负命题为真。
命题逻辑-
4.2有效推理得形式证明
• 自然演绎系统形式证明就是建立在 推理规则基础之上得。这些规则大 约可分为四部分:一就是基本推导 规则,二就是等值替换规则,三就是 条件证明规则,四就是间接证明规 则。
一、基本推导规则:
根据合取式得逻辑特征:
组合式 简记为∧+
根据析取式得逻辑特征:
选言三段论
简记∨-
根据蕴涵式得逻辑特征:
• 例2.判定命题公式“(p∧q) →r”与“p∨(q →r)”就是否逻辑等值。
2.1命题公式之间得逻辑等值
• 如果两个公式就是等值得,那么以这两个公 式为子公式构造一个等值式:
• (﹁p∨ ﹁ q )(﹁ (p∧q))。 • 这个等值式就是恒真得,由此可推知,一个等
值式就是重言式,那么她得两个子公式逻辑 等值。
• 证:① (A∨B)→C
P \A→C
• ② (A∨B) ∨ C
①Impl
• ③ ( A ∧ B) ∨ C
②DeM
• ④ ( A ∨C) ∧( B ∨ C ) ③Dist
• ⑤ A ∨C
④∧-
• ⑥A →C
⑤Impl
作业
• 一、运用真值表方法,判定下列命题就是不 就是等值命题。
• l、如果这匹马儿不吃饱草,那么这匹马儿不 能跑。
• 3.德摩根律 ¬(p∧q) ¬p∨¬q;
•
¬(p∨q) ¬p∧¬q。
• 4、分配律 p∧(q∨r) (p∧q)∨(p∧r)
•
p∨(q∧r) (p∨q) →(p∨r)
• 5、实质蕴涵(p→q) ( p ∨ q)
• 6.假言易位 (p→q) ( q → p )
• 7、移出律 (p∧q) →r p→(q →r)
离散数学PPT课件
定义2.1设A,B是两个命题公式，若A，B构成的等价 式AB为重言式，则称A与B等值，记为AB。
20
例2.1判断下面两个公式是否等值： (pq), pq 例2.2判断下面各组公式是否等值： （1）p(qr) 与 (pq)r （2） ( pq)r与 (pq)r
21
置换规则 ： 设（A）是含公式A的命题公式， （B） 是用公式B置换了（A）中所有的A以后得到的命题公式， 若BA，则（B） （A）。
定义1.2 设p，q为两命题，复合命题“p并且q”称为p与 q的合取式，记作“pq”。 pq为真当且仅当 p， q同 时为真。
定义1.3 设p，q为两命题，复合命题“p或q”称为p与q的 析取式，记作“pq”。 p q为假当且仅当 p， q同时为 假。
7
例1.3将下列命题符号化 （1）吴影既用功又聪明。 （2）吴影不仅用功而且聪明。 （3）吴影虽然聪明，但不用功。 （4）张辉与王丽都是三好学生。 （5）张辉与王丽是同学
16
例1.8求下列公式的真值表，并求成真赋值。 (1) (pq)r (2) (pp)(qq) (3) (p q) q r
定义1.10设A为一命题公式 （1）若A在它的各种赋值下取值均为真，则称A是重 言式或永真式。 （2）若A在它的各种赋值下取值均为假，则称A是矛 盾式或永假式。 （3）若A不是矛盾式，则称A是可满足式。
离散数学
1
离散数学课件
离散数学是计算机科学的核心理论课程， 是计算机专业的专业基础课。
第一部分 数理逻辑 第二部分 集合与关系代数 第三部分 图论
2
第一部分数理逻辑
第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理
20
例2.1判断下面两个公式是否等值： (pq), pq 例2.2判断下面各组公式是否等值： （1）p(qr) 与 (pq)r （2） ( pq)r与 (pq)r
21
置换规则 ： 设（A）是含公式A的命题公式， （B） 是用公式B置换了（A）中所有的A以后得到的命题公式， 若BA，则（B） （A）。
定义1.2 设p，q为两命题，复合命题“p并且q”称为p与 q的合取式，记作“pq”。 pq为真当且仅当 p， q同 时为真。
定义1.3 设p，q为两命题，复合命题“p或q”称为p与q的 析取式，记作“pq”。 p q为假当且仅当 p， q同时为 假。
7
例1.3将下列命题符号化 （1）吴影既用功又聪明。 （2）吴影不仅用功而且聪明。 （3）吴影虽然聪明，但不用功。 （4）张辉与王丽都是三好学生。 （5）张辉与王丽是同学
16
例1.8求下列公式的真值表，并求成真赋值。 (1) (pq)r (2) (pp)(qq) (3) (p q) q r
定义1.10设A为一命题公式 （1）若A在它的各种赋值下取值均为真，则称A是重 言式或永真式。 （2）若A在它的各种赋值下取值均为假，则称A是矛 盾式或永假式。 （3）若A不是矛盾式，则称A是可满足式。
离散数学
1
离散数学课件
离散数学是计算机科学的核心理论课程， 是计算机专业的专业基础课。
第一部分 数理逻辑 第二部分 集合与关系代数 第三部分 图论
2
第一部分数理逻辑
第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第一章 命题逻辑
第七讲
内容回顾
定义 对于给定的命题公式，如果有一个等价公式 仅由小项的析取所组成，则该等价式称为原式的主析 取范式。
小项
定义 n个命题变元的合取式，称为布尔合 取或小项，其中每个变元与它的否定不能同时 存在，但两者必须出现且仅出现一次。
每个小项可用n位二进制编码表示。以变元自身出现 的用1 表示，以其否定出现的用0表示：
(i j)
极小项与极大项
由p, q两个命题变项形成的极小项与极大项
极小项 公式 成真赋值 名称
极大项 公式 成假赋值 名称
p q 0 0 m0 p q
0 0 M0
p q
0 1 m1 p q 0 1 M1
p q 1 0 m2 p q
1 0 M2
pq
1 1 m3 p q 1 1 M3
由p, q, r三个命题变项形成的极小项与极大项
只有B才能昨天要火腿，今天要猪排。
设P、Q、R分别表示A、B、C要的是火腿。
(1)(P Q)、 (2)((P R) (P R))、 (3)(Q R)
1．5．4 主合取范式
定义1- n个命题变元的析取式，称为布尔析取或 极大项，其中每个变元与它的否定不能同时存 在，但两者必须出现且仅出现一次。
由真值表方法可知：一个公式的真值为0的真值指派所 对应的大项的合取，即为此公式的主合取范式。
例1- 用真值表方法求 ( p q) r 的主合取范式 解: 公式的真值表如下
P Q R P→Q ¬R (p→Q)→¬R
00 0
1
1
1
00 1
1
0
0
01 0
1
1
1
01 1
1
0
0
10 0
0
1
1
10 1
0
0
1
大项的性质如下：
(1)每一个大项当其真值指派与编码相同时，其真值为0，其 余的2n－1种赋值均为1;
(2)任意两个不同大项的析取式永真： Mi M j 1
(3)全体大项的合取式必为假，记为：
2n -1
Mi M0 M1 L M 2n -1 0
i0
mi与Mi的关系： mi Mi, Mi mi
例如，2个命题变元p和q的大项为：p q，p q，p q，p q
3个命题变元P、Q、R的大项为：
p q r， p q r， p q r， p q r， p q r，p q r，p q r，p q r
n个命题变元共有2n个大项，每个大项可表示为n 位二进制编码，以变元自身出现的用0表示，以变元的否 定出现的用1表示；且对应十进制编码。这一点与极小项 的表示刚好相反。
③
• ②, ③代入① 并排序，得
• (pq)r M0M2M4
（主合取范式）
例2 用等值演算方法求( p q) r 的主合取范式。 解：
( p q) r (p q) r
(p q) r
( p q) r ( p r) (q r)
合取范式
( p (q q) r) (( p p) q 标由小到大的顺序排列。
例1 求公式 A=(pq)r的主合取范式
•
(pq)r
• (pr)(qr) （合取范式） ①
•
pr
• p(qq)r
• (pqr)(pqr)
•
M0M2
②
•
qr
• (pp)qr
• (pqr)(pqr)
•
M0M4
成假 赋值
000 001 010 011 100 101 110 111
名称
M0 M1 M2 M3 M4 M5 M6 M7
定义1- 对于给定的命题公式，如果有一个等价公式仅由极大 项的合取所组成，则该等价式称为原式的主合取范式。
定理1- （主合取范式存在惟一定理） 任何命题公式的主合 取范式一定存在，并且惟一。
( p q r) ( p q r) ( p q r) (p q r)
若n= 2，则有
M00 p q M0 M10 p q M2
M01 p q M1 M11 p q M3
若n= 3，则有:
M 000 p q r M 0 M 001 p q r M1 M 010 p q r M 2 M 011 p q r M3
M100 p q r M 4 M101 p q r M 5 M110 p q r M 6 M111 p q r M 7
极小项
公式
成真
赋值
p q r 0 0 0
p q r 0 0 1
p q r 0 1 0
p q r 0 1 1
p q r 1 0 0
p q r 1 0 1
p q r 1 1 0
p q r 1 1 1
名称
m0 m1 m2 m3 m4 m5 m6 m7
极大项
公式
pqr p q r p q r p q r p q r p q r p q r p q r
11 0
1
1
1
11 1
1
0
0
所以公式 ( p q) r 的主合取范式为:
( p q) r M 001 M 011 M 111 ( p q r) ( p q r) (p q r)
用等值演算方法构成主合取范式的主要步骤如下： （1）将原命题公式化归为合取范式； （2）除去合取范式中所有永真的合取项； （3）合并相同的析取项和相同的变元； （4）对合取项补入没有出现的命题变元，即添加
m000 p q r , m100 p q r,
m001 p q r , m101 p q r ,
m010 p q r , m110 p q r ,
m011 p q r , m111 p q r .
小项的性质如下：
（1）每一个小项当其真值指派与编码相同时，其真值为1， 其余的2n－1种均为0;
（2）任意两个不同小项的合取式永假：mi m j 0 （3）全体小项的析取式永为真，记为：
(i j)
2n -1
mi m0 m1 m2n -1 1
i0
主析取范式的求法
• 真值表法 • 等值演算法
趣味推理题
• A、B、C三人去餐馆吃饭，他们每人要的不是火腿
就是猪排。 （1）如果A要的是火腿，那么B要的就是猪排。 （2）A或C要的是火腿，但是不会两人都要火腿。 （3）B和C不会两人都要猪排。 谁昨天要的是火腿，今天要的是猪排？
第七讲
内容回顾
定义 对于给定的命题公式，如果有一个等价公式 仅由小项的析取所组成，则该等价式称为原式的主析 取范式。
小项
定义 n个命题变元的合取式，称为布尔合 取或小项，其中每个变元与它的否定不能同时 存在，但两者必须出现且仅出现一次。
每个小项可用n位二进制编码表示。以变元自身出现 的用1 表示，以其否定出现的用0表示：
(i j)
极小项与极大项
由p, q两个命题变项形成的极小项与极大项
极小项 公式 成真赋值 名称
极大项 公式 成假赋值 名称
p q 0 0 m0 p q
0 0 M0
p q
0 1 m1 p q 0 1 M1
p q 1 0 m2 p q
1 0 M2
pq
1 1 m3 p q 1 1 M3
由p, q, r三个命题变项形成的极小项与极大项
只有B才能昨天要火腿，今天要猪排。
设P、Q、R分别表示A、B、C要的是火腿。
(1)(P Q)、 (2)((P R) (P R))、 (3)(Q R)
1．5．4 主合取范式
定义1- n个命题变元的析取式，称为布尔析取或 极大项，其中每个变元与它的否定不能同时存 在，但两者必须出现且仅出现一次。
由真值表方法可知：一个公式的真值为0的真值指派所 对应的大项的合取，即为此公式的主合取范式。
例1- 用真值表方法求 ( p q) r 的主合取范式 解: 公式的真值表如下
P Q R P→Q ¬R (p→Q)→¬R
00 0
1
1
1
00 1
1
0
0
01 0
1
1
1
01 1
1
0
0
10 0
0
1
1
10 1
0
0
1
大项的性质如下：
(1)每一个大项当其真值指派与编码相同时，其真值为0，其 余的2n－1种赋值均为1;
(2)任意两个不同大项的析取式永真： Mi M j 1
(3)全体大项的合取式必为假，记为：
2n -1
Mi M0 M1 L M 2n -1 0
i0
mi与Mi的关系： mi Mi, Mi mi
例如，2个命题变元p和q的大项为：p q，p q，p q，p q
3个命题变元P、Q、R的大项为：
p q r， p q r， p q r， p q r， p q r，p q r，p q r，p q r
n个命题变元共有2n个大项，每个大项可表示为n 位二进制编码，以变元自身出现的用0表示，以变元的否 定出现的用1表示；且对应十进制编码。这一点与极小项 的表示刚好相反。
③
• ②, ③代入① 并排序，得
• (pq)r M0M2M4
（主合取范式）
例2 用等值演算方法求( p q) r 的主合取范式。 解：
( p q) r (p q) r
(p q) r
( p q) r ( p r) (q r)
合取范式
( p (q q) r) (( p p) q 标由小到大的顺序排列。
例1 求公式 A=(pq)r的主合取范式
•
(pq)r
• (pr)(qr) （合取范式） ①
•
pr
• p(qq)r
• (pqr)(pqr)
•
M0M2
②
•
qr
• (pp)qr
• (pqr)(pqr)
•
M0M4
成假 赋值
000 001 010 011 100 101 110 111
名称
M0 M1 M2 M3 M4 M5 M6 M7
定义1- 对于给定的命题公式，如果有一个等价公式仅由极大 项的合取所组成，则该等价式称为原式的主合取范式。
定理1- （主合取范式存在惟一定理） 任何命题公式的主合 取范式一定存在，并且惟一。
( p q r) ( p q r) ( p q r) (p q r)
若n= 2，则有
M00 p q M0 M10 p q M2
M01 p q M1 M11 p q M3
若n= 3，则有:
M 000 p q r M 0 M 001 p q r M1 M 010 p q r M 2 M 011 p q r M3
M100 p q r M 4 M101 p q r M 5 M110 p q r M 6 M111 p q r M 7
极小项
公式
成真
赋值
p q r 0 0 0
p q r 0 0 1
p q r 0 1 0
p q r 0 1 1
p q r 1 0 0
p q r 1 0 1
p q r 1 1 0
p q r 1 1 1
名称
m0 m1 m2 m3 m4 m5 m6 m7
极大项
公式
pqr p q r p q r p q r p q r p q r p q r p q r
11 0
1
1
1
11 1
1
0
0
所以公式 ( p q) r 的主合取范式为:
( p q) r M 001 M 011 M 111 ( p q r) ( p q r) (p q r)
用等值演算方法构成主合取范式的主要步骤如下： （1）将原命题公式化归为合取范式； （2）除去合取范式中所有永真的合取项； （3）合并相同的析取项和相同的变元； （4）对合取项补入没有出现的命题变元，即添加
m000 p q r , m100 p q r,
m001 p q r , m101 p q r ,
m010 p q r , m110 p q r ,
m011 p q r , m111 p q r .
小项的性质如下：
（1）每一个小项当其真值指派与编码相同时，其真值为1， 其余的2n－1种均为0;
（2）任意两个不同小项的合取式永假：mi m j 0 （3）全体小项的析取式永为真，记为：
(i j)
2n -1
mi m0 m1 m2n -1 1
i0
主析取范式的求法
• 真值表法 • 等值演算法
趣味推理题
• A、B、C三人去餐馆吃饭，他们每人要的不是火腿
就是猪排。 （1）如果A要的是火腿，那么B要的就是猪排。 （2）A或C要的是火腿，但是不会两人都要火腿。 （3）B和C不会两人都要猪排。 谁昨天要的是火腿，今天要的是猪排？