- 1、本文档共47页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
联结词的优先级 命题公式外层的括号可以省略; 联结词的优先级:┐、∧、∨、→、?。 利用加括号的方法可以提高优先级。 范例:如下的Wff : P∧Q→R 等价于Wff : ((P∧Q)→R ) 等价于Wff : (P∧Q)→R 不等价于Wff : P∧(Q→R) 全真为假 见假为真。 全假为真 见真为假。 (3)与非 定义3-6.3 设P和Q是两个命题公式, P和Q的与非是一个新命题公式,记作P ? Q。当且仅当P和Q的真值都为 T时, P ? Q 为F ,其他情况下P ? Q的真值都是T 。 根据此定义,可知 P ? Q ? ┐(P∧Q) P ? Q的3个 性质见P-26页。 T(1) T(1) T(1) F(0) F(0) T(1) F(0) T(1) F(0) F(0) T(1) T(1) p ? q q p 表3-6.3 与非词“?”的意义 (4)或非 定义3-6.4 设P和Q是两个命题公式, P和Q的或非是一个新命题公式,记作P ? Q。当且仅当P和Q的真值都为 F 时, P ? Q 为T ,其他情况下P ? Q的真值都是F 。 根据此定义,可知 P ? Q ? ┐(P ∨ Q) P ? Q的 性质与联结词性质留给大家自己推算。 表3-6.4 或非词“?”的意义 T(1) T(1) T(1) F(0) F(0) T(1) F(0) T(1) F(0) F(0) T(1) T(1) p ? q q p 3-7 对偶与范式 定义3-7.1 设给定的命题公式A仅含联结词 ┐,∧,∨,A*为将A中符号∧,∨,t,f分别改换为∨,∧,f,t后所得的公式,那么称A*为A的对偶式(dual)。 显然, A 也为A*的对偶式。 定理3-7.1 设公式A和A*中仅含命题变元p1,…,pn,及联结词┐,∧,∨;则 ┐A(p1, p2 …, pn) ?A*(┐p1, ┐p2 …, ┐pn) A(┐p1, ┐p2 …, ┐pn)? ┐ A*(p1, p2 …, pn) 证明思路:利用德摩根定律 P∨Q ? ┐(┐P∧┐Q) A ? ┐ A* 推广到p1, p2 …, pn 定理3-7.2 设公式A和B中仅含命题变元p1,…,pn, 如果A?B,则A*?B*。 文字(letters):指命题常元、变元及它们的否定, 前者又称正文字,后者则称负文字。 析取子句(disjunctive clauses):指文字或若干文字的析取。 合取子句(conjunctive clauses):指文字或若干文字的合取。 互补文字对(complemental pairs of letters) : 指形如L,┐L(L为文字)的一对字符。 定义3-7.2 命题公式A‘称为公式A的合取范式 (conjunctive normal form)如果 (1)A ? A (2)A‘为一析取子句或若干析取子句的合取。 A‘形如:A1∧A2∧…∧An (n?1) 定义3-7.3命题公式A‘称为公式A的析取范式 (disjunctive normal form),如果 (1)A ? A (2)A‘为一合取子句或若干合取子句的析取。 A‘形如:A1∨A2∨…∨An (n?1) 求一个命题公式的合取范式或析取范式的步骤: ?. 将公式中的联结词化归成仅含∨ 、∧、┐; ?. 利用德 . 摩根定律将否定符号┐直接内移到各个命题变元之前; ?. 利用分配律、结合律将公式归约为合取范式或析取范式。 定义3-7.4 n个命题变元的合取式,称作布尔合取或小项,其中每个变元与它的否定不能同时出现,但两者必须出现且仅出现一次。 一般来说,n个命题变元共有2n个小项。 根据定义可知,没有两个小项是等价的,且每个小项都只对应P和Q的一组真值指派,使得该小项的真值为T。 以上结论可推广到三个以上的变元情况,并且由此可以作出一种编码,使n个变元的小项可以很快地写出来。 小项有如下性质: ?. 每一个
您可能关注的文档
- 16音乐学习3研讨.ppt
- 3.1第3章注射成型工艺及模设计2学时试卷.ppt
- 大学生如何应对互联网+答题.ppt
- 第2节富集在海水(支教)答题.ppt
- 大学生社会适应能力培养答题.ppt
- 大学生实践2答题.docx
- 第2节孟德尔杂交实验(二)答题.ppt
- 16圆锥的体积例2例3研讨.ppt
- 3.1高三一轮复习钠及其重要化合物试卷.ppt
- 高频电路原理与(曾兴雯_第四版)课后习题预案.doc
- 第十一章 电流和电路专题特训二 实物图与电路图的互画 教学设计 2024-2025学年鲁科版物理九年级上册.docx
- 人教版七年级上册信息技术6.3加工音频素材 教学设计.docx
- 5.1自然地理环境的整体性 说课教案 (1).docx
- 4.1 夯实法治基础 教学设计-2023-2024学年统编版九年级道德与法治上册.docx
- 3.1 光的色彩 颜色 电子教案 2023-2024学年苏科版为了八年级上学期.docx
- 小学体育与健康 四年级下册健康教育 教案.docx
- 2024-2025学年初中数学九年级下册北京课改版(2024)教学设计合集.docx
- 2024-2025学年初中科学七年级下册浙教版(2024)教学设计合集.docx
- 2024-2025学年小学信息技术(信息科技)六年级下册浙摄影版(2013)教学设计合集.docx
- 2024-2025学年小学美术二年级下册人美版(常锐伦、欧京海)教学设计合集.docx
最近下载
- 17J008 挡土墙(重力式、衡重式、悬臂式)(最新).pdf
- 造血干细胞移植的护理干预.pptx
- 布料车岗位安全规程.pptx
- YDT 5178-2017 通信管道人孔和手孔图集.docx VIP
- 精品解析:【区级联考】上海徐汇区2019届九年级学习能力诊断(二模)数学试题(解析版).pdf VIP
- 精品解析:广东省佛山市南海区,三水区2022-2023学年九年级上学期数学期末考试(原卷版).pdf VIP
- 一种护筒导向架结构.pdf VIP
- 老旧小区雨污分流改造要点与难点分析.docx VIP
- 鞍钢宪法及后福特主义.pdf
- 精品解析:广东省广州市2022-2023学年九年级上学期期末数学考前模拟试题(三)(解析版).pdf VIP
文档评论(0)