离散数学课件 第一章

合集下载

离散数学第一章命题逻辑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. 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真值表为
相关文档
最新文档