- 1、本文档共33页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-耿素PPT(第5版)1.1-2
* 真值函數 问题:含n个命题变项的所有公式共产生多少个互 不相同的真值表? 定义 称定义域为{00…0, 00…1, …, 11…1},值域 为{0,1}的函数是n元真值函数,定义域中的元素是 长为n的0,1串. 常用F:{0,1}n?{0,1} 表示F是n元真值 函数. 共有 个n元真值函数. 例如 F:{0,1}2?{0,1},且F(00)=F(01)=F(11)=0, F(01)=1,则F为一个确定的2元真值函数. * 命题公式与真值函数 对于任何一个含n个命题变项的命题公式A,都存在 惟一的一个n元真值函数F为A的真值表. 等值的公式对应的真值函数相同. 下表给出所有2元真值函数对应的真值表, 每一个含 2个命题变项的公式的真值表都可以在下表中找到. 例如:p?q, ?p?q, (?p?q)?(?(p?q)?q) 等都对应 表中的 * 2元真值函数对应的真值表 p q 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 p q 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 * 离散数学 * 主要内容 数理逻辑 集合论 图论 组合分析初步 代数系统简介 形式语言和自动机初步 * 教材与教学参考书 教材: 耿素云、屈婉玲、张立昂,离散数学(第五版),清华大学出版社, 2013. 教学参考书: 屈婉玲、耿素云、张立昂,离散数学题解(第五版),清华大学出版社,2013. * 数理逻辑部分 第1章 命题逻辑 第2章 一阶逻辑 * 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 范式 1.5 联结词全功能集 1.6 组合电路 1.7 推理理论 * 1.1 命题符号化及联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 * 命题与真值 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论以及判断结果不惟一确定的也不是 命题 * 例 下列句子中那些是命题? (1) 是无理数. (2) 2 + 5 =8. (3) x + 5 > 3. (4) 你有铅笔吗? (5) 这只兔子跑得真快呀! (6) 请不要讲话! (7) 我正在说谎话. 真命题 假命题 真值不确定 疑问句 感叹句 祈使句 悖论 (3)~(7)都不是命题 * 命题的分类 简单命题(原子命题): 简单陈述句构成的命题 复合命题: 由简单命题与联结词按一定规则复合 而成的命题 * 简单命题符号化 用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1)表示 简单命题 用“1”表示真,用“0”表示假 例如,令 p: 是有理数,则 p 的真值为 0 q:2 + 5 = 7,则 q 的真值为 1 * 联结词与复合命题 1.否定式与否定联结词“?” 定义 设p为命题,复合命题 “非p”(或 “p的否定”)称 为p的否定式,记作?p. 符号?称作否定联结词,并规 定?p 为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义 设p,q为二命题,复合命题“p并且q”(或“p与q”)称 为p与q的合取式,记作p∧q. ∧称作合取联结词
您可能关注的文档
- 砍掉成本:企业的12把财务砍刀.ppt
- 破碎机生产线的能控制系统.ppt
- 破裂面两侧岩块显著位移的断裂构造.ppt
- 硫化氢气体中毒场自救与急救.ppt
- 破碎系统设计与碎机的选择.ppt
- 硫化氢选择氧化硫催化剂的开发.ppt
- 破产案件破产程的开始债务人财产管理债权申报债权人会议.ppt
- 硫化氢的特性和救措施.ppt
- 硫化物(sulide)硫化物概述定义硫与电负性比.ppt
- 硫化物溶解性与属阳离子结构的关系.ppt
- 第十一章 电流和电路专题特训二 实物图与电路图的互画 教学设计 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
文档评论(0)