- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学笔记
第一章 逻辑
取
取
定义 1. 1.4 条件联结词,表示“如果… …那么……”形式的语句
定义 1. 1.5 双条件联结词,表示“当且仅当”形式的语句
定义 1.2.1 合式公式
(1)单个命题变元、命题常元为合式公式,称为原子公式。
(2)若某个字符串 A 是合式公式,则A、(A)也是合式公式。
(3)若 A、B 是合式公式,则 A B、AB、A B、AB 是合式公式。
(4)有限次使用(2)~(3)形成的字符串均为合式公式。
1.3等值式
1.4析取范式与合取范式
将一个普通公式转换为范式的基本步骤
1.6推理
定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有
效结论,或称 A 可以逻辑推出 C,记为 A = C。(用等值演算或真值表)
二章 逻辑基本概念?:全称量词?:存在量词?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式
例题
R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x?y(R(x)∧T(y)→H(x,y))
有的兔子比所有的乌龟跑得快表示为:??y(R(x)∧T(y)→H(x,y))
2.2、谓词公式及其解释
定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示的 f(x,y))、 谓词常元(如表示人类的 H(x))。
定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁?)、逗号、括号。
定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。
定义 2.2.4、原子公式:设 R()是 n 元谓词,是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。
定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁?B 合式(4)若 A 合式,则?xA、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。
定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。
定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。
定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。
注意:元和自由变元同名而不对变元名
定义 2.2.9 闭公式是指不含自由变元的谓词公式
从本例(已省)可知, 不同的公式在同一个解释下, 其真值可能存在, 也可能不存在, 但是对于没有自由变元的公式(闭公式),不论做何种解释,其真值肯定存在
谓词公式的类型:
定义 2.2.11 在任何解释下,公式的真值总存在并为假,则为矛盾式或永假式。
定义 2.2.12 存在个体域并存在一个解释使得公式的真值存在并为真,则为可满足式。
定义 2.2.13 代换实例 设 是命题公式 中的命题变元, 是 n 个谓
词公式,用代替公式 中的后得到公式 A,则称 A 为 的代换实例。
如 A(x)∨﹁?xA(x) ∨﹁?﹁﹁?xA(x) ∧﹁ ?﹁
定理 2.2.1 命题逻辑的永真公式之代换实例是谓词逻辑的永真公式, 命题逻辑的永假公式之代换实例是谓词逻辑的永假式。(代换前后同类型的)
式的等值演算
( B。
当 A(B 时,根据定义可知,在任何解释下,公式 A 与公式 B 的真值都相同,故 A?B 为永真式,故得到如下的定义。
定义 2.3.2 设 A、B 是两个合法谓词公式,如果在任何解释下, A? B 为永真式, 则 A与 B 等值,记为 A ( B。
一、利用代换实例可证明的等值式(p?﹁﹁? xF(x) ?﹁﹁?)
二、个体域有限时,带全称量词、存在量词公式的等值式
如:若D={ }? xA(x) ( A()∧A()∧…∧A()
三、量词的德摩律
1、﹁? ( ?x﹁﹁? ( ?x﹁
四、
1、?x(A(x)∧B(x)) ( ?xA(x)∧?xB(x) 2、?x(A(x)∨B(x)) ( ?xA(x)∨?xB(x)
记忆方法:?与∧,一个尖角朝下、一个尖角朝上,相反可才分配。2 式可看成 1 式的对偶式
五、量词作用域的收缩与扩张律
A(x)含自由出现的个体变元 x,B 不含有自由出现的 x,则有:
1、?/?(A(
您可能关注的文档
- 六下科学,人类祖先的足迹解析.ppt
- 六下科学第四单元4《生态平衡》解析.ppt
- 六下口语交际习作二课件解析.ppt
- 六下利用比例尺和实际距离求图上距离解析.ppt
- 六下品社古埃及解析.ppt
- 六下四4分类和回收利用-解析.ppt
- 六一班环保主题班会解析.ppt
- 六语下教案2解析.doc
- 六章资产组合理论解析.ppt
- 龙牙百合原生质体制备与电融合条件初探论文解析.doc
- 国际标准 IEC 61169-47:2015 EN Radio-frequency connectors - Part 47: Sectional specification for radio-frequency coaxial connectors with clamp coupling, typically for use in 75 Ω cable networks (type F-Quick) 无线电频率连接器 - 第47部分:用于无线电频率同轴连接器的部分规范,.pdf
- 国际标准 IEC 61158-5-17:2007 EN 工业通信网络 - 现场总线规范 - 第5-17部分:应用层服务定义 - 类型17元素 Industrial communication networks - Fieldbus specifications - Part 5-17: Application layer service definition - Type 17 elements.pdf
- 国际标准 IEC 61158-5-17:2007 EN Industrial communication networks - Fieldbus specifications - Part 5-17: Application layer service definition - Type 17 elements 工业通信网络 - 现场总线规范 - 第5-17部分:应用层服务定义 - 类型17元素.pdf
- 国际标准 IEC 60939-2-2:2004 EN_D 完整抑制无线电干扰滤波器单元-第2-2部分:空白详细规范-用于抑制电磁干扰的被动滤波器单元-仅需进行安全测试的滤波器(安全测试) Complete filter units for radio interference suppression - Part 2-2: Blank detail specification - Passive filter uits for electromagnetic interference .pdf
- 国际标准 IEC 60939-2-2:2004 EN_D Complete filter units for radio interference suppression - Part 2-2: Blank detail specification - Passive filter uits for electromagnetic interference suppression - Filters for which safety tests are required (safety.pdf
- 国际标准 IEC 60670-23:2006 EN-FR Boxes and enclosures for electrical accessories for household and similar fixed electrical installations - Part 23: Particular requirements for floor boxes and enclosures 家用和类似固定电气安装用电器配件的盒子与封闭装置——第23部分:地板箱和封闭装置的要求.pdf
- 国际标准 IEC 60670-23:2006 EN-FR 家用和类似固定电气安装用电器配件的盒子与封闭装置——第23部分:地板箱和封闭装置的要求 Boxes and enclosures for electrical accessories for household and similar fixed electrical installations - Part 23: Particular requirements for floor boxes and enclosures.pdf
- 2024版完整的货物运输合同书.doc
- 2024版无财产的离婚协议书书模板.doc
- 2024版委托融资租赁合同书书.doc
文档评论(0)