- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学课件真值表及等价公式
1-3命题公式与翻译 1-3.1 命题公式 ?P,P?Q,(P?Q)?(P?Q)都是复合命题。若P和Q是命题变元,则上述各式均称作命题公式。 P和Q称为命题公式的分量。 命题公式是没有确定的真值的,仅当在一个公式中命题变元用确定的命题代入时,才能得到一个命题。 1-3.1 命题公式 定义1-3.1 命题演算的合式公式(wff) (well formed formula) (1)单个命题变元本身是一个合式公式。 (2)如果A是合式公式,那么?A是合式公式。 (3)如果A和B是合式公式,那么(A?B), (A?B), (A?B), (A B)是合式公式。 (4)当且仅当能够有限次地应用(1)、(2)、(3)所得到的包含命题变元、联结词和括号的符号串是合式公式。 1-3.1 命题公式 注:这是一个递归方式的定义(递归定义) (1)是递归定义的基础 (2)、(3)是归纳 (4)是递归的界限 例: ?(P?Q)就不是合式公式 联结词的运算次序: 使用括号 (2) 规定运算符运算优先次序:?, ?, ?, ?, 1-3.2 翻译 例1. 除非你努力,否则你将失败。 解:设P:你努力。 Q:你将失败。 原命题可以符号化为: ? P ? Q 例2. 除非(仅当)我有时间,我才去看电影。 解:设P:我有时间。 Q:我去看电影。 原命题可以符号化为: ? P ? ? Q 或化为:Q?P 例3. 如果你和他都不固执己见的话,那么不愉快的事也不会发生了。 解:设P:你固执己见。 Q:他固执己见。 R:不愉快的事也不会发生了 原命题可以符号化为:(?P??Q)?R 例4. 如果你和他不都是固执己见的话,那么不愉快的事也不会发生了。 解:设P:你固执己见。 Q:他固执己见。 R:不愉快的事也不会发生了 原命题可以符号化为: ?(P?Q)?R 作业(1-3) P12. (5) 1-4真值表与等价公式 定义1-4.1真值表: 对于给定的命题公式,对其分量进行所有可能的真值指派得到该公式的相应的真值取值情况,将其汇列成表,称做该命题公式的真值表。 例:给出?(P?Q)的真值表。 1-4 真值表与等价公式 在真值表中,命题公式真值的取值数目,决定于分量的个数。n个命题变元组成的命题公式有2n种真值情况。 定义1-4.2 永真公式 永假公式: 无论对其分量作怎样的真值指派,其真值永为T,称为永真公式,记为T 。 无论对其分量作怎样的真值指派,其真值永为F,称为永假公式,记为F 。 1-4 真值表与等价公式 定义1-4.3 等价(equivalent)公式: 设A和B是两个命题公式,P1,P2,…,Pn是出现在A和B中的所有原子变元,若对P1,P2,…,Pn的任何真值指派, A和B真值相同,称A和B等价或逻辑相等。记作A?B。 要证明两个命题公式等价,可用: (1)真值表法 (2)等价命题定律。 1-4 真值表与等价公式 例: P?Q ? ?P?Q P Q ? (P?Q)?(Q?P) P Q ? (P?Q) ? (?P??Q) P15 表1-4.8 命题定律 1-4 真值表与等价公式 定义1-4.4 子公式 设A是一个命题公式,X是A的一部分且X本身也是公式,则称X为公式A的子公式。 定理1-4.1(等价置换) 设A是一个命题公式,X是A的一个子公式,若公式Y与X等价,用Y置换A中的X得到一个公式B,则 A ? B。 可用真值表法得证 1-4 真值表与等价公式 例:证明 Q?(P?(P?Q)) ? Q?P 证明:应用吸收律 P?(P?Q) ? P 左边? Q?P 得证! 1-4 真值表与等价公式 P19 (7) a) 证明 A?(B?A) ? ?A?(A? ? B) 证明:原式左边? A?(?B?A) ??A ?(?B?A) ? ?A ??B?A ? A?(?A??B) ? A? (A? ? B) ? ?A?(A? ? B) 作业(1-4) P19 (7) d),f) * * F T F F F T T F T F F T F T T T ?(P?Q) P?Q Q P
您可能关注的文档
- 离散数学-1-4 真值表及等价公式.ppt
- 能源和可持续发展作业.doc
- 能照明及独特魅力.doc
- 离散数学-1-7 对偶及范式.ppt
- 胰腺癌与慢性胰腺炎及核磁共振研究.doc
- 离散数学-2-1谓词及概念及表示.ppt
- 能真正后台运行及按键精灵代码支持最小化和切换窗口.doc
- 离散数学-2-2 命题函数及量词.ppt
- 能耗监测在建筑节能中及作用.doc
- 离散数学-2-3 谓词公式及翻译.ppt
- 广西桂林市第十八中学2017-2018学年高一下学期期中考试生物试题2.doc
- 2018高考人教政治二轮巩固练题(三)及解析.doc
- 高考生物一轮浙江选考总复习课件第三单元细胞的生命历程热点题型突破二.ppt
- 高考物理课标版一轮复习考点规范练14天体运动与人造卫星.doc
- 湖南省部分学校2024-2025学年高三下学期2月联考生物试题.docx
- Unit3EnvironmentalProtectionWordsandExpressions单词词汇讲解课件-高中英语人教版选择性.pptx
- 深度解析《GBT 44771-2024压水堆核燃料组件制造工艺和产品合格性鉴定要求》.pptx
- 深度解析《GB 44917-2024食用植物油散装运输卫生要求》.pptx
- 深度解析《GBT 44777-2024知识产权(IP)核保护指南》.pptx
- 深度解析《GBT 44741-2024农产品产地土壤有效态砷的测定方法》.pptx
最近下载
- 2025年湖北省武汉市高考数学模拟试卷(附答案解析).pdf VIP
- 河北省2025年12月普通高中学业水平合格性考试数学试题(含答案解析).pdf VIP
- 浙江省嘉兴市南湖区2023-2024学年四年级下学期语文期中试卷 解析版.docx VIP
- 《华为战略管理法》读书笔记PPT.pptx VIP
- 电网工程设备材料信息参考价(2024年第四季度).xlsx
- 2025商业广场哪吒沉浸式 (童魔闹海主题)主题展活动策划方案-47P.docx
- 义务教育版(2024)四年级信息技术 第6课 古往今来话编码 课件.pptx VIP
- 企业筹资问题研究--以小米公司为例.doc
- 式与方程复习课.doc VIP
- 《鸡兔同笼》教学设计优质课公开课一等奖 .pdf VIP
文档评论(0)