标签:   离散数学   谓词公式   解释  
文档信息
上传用户 WY伊桓     
文档格式 ppt
文档价格 6.8 元
文档大小 226 KB
文档页数 19 页
相关文档推荐
doc 2019-2020学年高二英语下学期2月模块诊断试题
ppt 《投入产出核算》PPT课件
doc 山东省重点小学三年级数学【下册】开学考试试题 (附解析)
ppt 离散时间信号与系统-1(天大)
doc 2019-2020年高三上学期期中质量监测生物试题 含答案
doc 实验小学二年级数学下学期开学考试试题部编版B卷 附答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题(I卷) (附答案)
doc 2020年一级建造师《建筑工程管理与实务》考前检测A卷 (附答案)
doc 山东省重点小学三年级数学【下册】期中摸底考试试题 (含答案)
doc 山东省重点小学三年级数学【下册】开学摸底考试试题 (附解析)
doc 2020年六年级数学【上册】期末考试试题新人教版(II卷) 附解析
doc 2019-2020年高三上学期期中(语文)
ppt 《抓住增员黄金周》PPT课件
doc 山东省重点小学三年级数学【下册】开学摸底考试试题 含答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题B卷 含答案
doc 实验小学二年级数学下学期开学考试试题长春版 附答案
doc 2020年六年级数学【上册】期末考试试题外研版B卷 附答案
doc 2020年六年级数学【上册】期末考试试题新人教版B卷 附答案
doc 山东省重点小学三年级数学【下册】开学考试试卷 (含答案)
doc 2019-2020年高三上学期期初分班教学测试英语试题 含答案
doc 实验小学二年级数学下学期开学考试试题长春版C卷 附答案
ppt 《抓特征重文采》PPT课件
doc 广东省重点小学四年级数学下学期期末摸底考试试题(II卷) (附解析)
doc 2019-2020年高三上学期期中质量检测语文试题(含附加题) Word版含答案
doc 实验小学二年级数学下学期开学考试试题赣南版A卷 附答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题B卷 (附答案)
doc 山东省重点小学三年级数学【下册】期中摸底考试试题 附答案
doc 2019-2020年高三上学期期中(数学)
doc 云南省2020年实验小学一年级语文【下册】开学摸底考试试卷 含答案
doc 云南省2020年实验小学一年级语文上学期开学考试试卷 含答案
doc 山东省重点小学三年级数学【下册】期末摸底考试试卷 (附答案)
ppt 《投影与视图复习》PPT课件
doc 实验小学二年级数学下学期开学考试试题长春版A卷 含答案
doc 2020年六年级数学【上册】期末考试试题新人教版A卷 附解析
doc 实验小学二年级数学下学期期中考试试卷人教版A卷 附答案
doc 云南省2020年实验小学一年级语文【下册】期末摸底考试试卷 附解析
doc 实验小学二年级数学下学期期中考试试卷上海教育版B卷 附解析
doc 实验小学二年级数学下学期期中考试试卷上海教育版(II卷) 含答案
doc 2020年六年级数学【上册】期末考试试题新人教版C卷 附解析
doc 实验小学二年级数学下学期开学考试试题赣南版 附解析
ppt 《抒情散文思路》PPT课件
doc 云南省2020年实验小学一年级语文【下册】期中考试试题 附解析
doc 实验小学二年级数学下学期开学考试试题部编版(II卷) 附答案
doc 山东省重点小学三年级数学【下册】开学考试试卷 (附解析)
doc 实验小学二年级数学下学期期中考试试卷上海教育版 含答案
ppt 《投影仪使用y》PPT课件
doc 2019-2020年高三上学期期初分班教学测试理科数学试题 含答案
doc 云南省2020年实验小学一年级语文上学期期中摸底考试试题 附答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习B卷 附解析
doc 2019-2020年高三上学期期中(政治)
doc 云南省2020年实验小学一年级语文上学期期中摸底考试试卷 含答案
doc 山东省重点小学三年级数学【下册】期中摸底考试试题 含答案
doc 2020年六年级数学【上册】期末考试试题新人教版 含答案
doc 2019-2020年高三上学期期中(历史)缺答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题D卷 (含答案)
doc 云南省2020年实验小学一年级语文【下册】开学考试试卷 含答案
doc 实验小学二年级数学下学期开学考试试题长春版C卷 含答案
ppt 《抑郁症发生的原因》PPT课件
doc 实验小学二年级数学下学期开学考试试题部编版C卷 附答案
ppt 《投影基础知识》PPT课件
doc 云南省2020年实验小学一年级语文【下册】开学摸底考试试题 含答案
doc 实验小学二年级数学下学期开学考试试题赣南版A卷 附解析
doc 广东省重点小学四年级数学下学期期末摸底考试试题B卷 附解析
doc 2020年一级建造师《建筑工程管理与实务》考前检测C卷 (含答案)
doc 云南省2020年实验小学一年级语文上学期开学摸底考试试卷 附答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题B卷 附答案
doc 实验小学二年级数学下学期开学考试试题部编版 含答案
doc 2019-2020学年高二英语上学期阶段考试试题(二)
doc 2019-2020学年高二英语下学期4月第二次月考试题
doc 山东省重点小学三年级数学【下册】期中考试试题 附解析
doc 云南省2020年实验小学一年级语文上学期期中考试试卷 含答案
doc 云南省2020年实验小学一年级语文【下册】期末考试试卷 附解析
doc 云南省2020年实验小学一年级语文【下册】开学考试试题 含答案
ppt 《抓住特征介绍动物》课件
doc 2020年一级建造师《建筑工程管理与实务》综合练习B卷 (附解析)
doc 山东省重点小学三年级数学【下册】开学摸底考试试题 附答案
doc 山东省重点小学三年级数学【下册】期中摸底考试试卷 (附答案)
doc 山东省重点小学三年级数学【下册】开学考试试题 附答案
doc 实验小学二年级数学下学期开学考试试题赣南版C卷 附答案
doc 2020年六年级数学【上册】期末考试试题外研版 含答案
doc 云南省2020年实验小学一年级语文【下册】期末考试试题 附解析
ppt 《抓特征性词语》PPT课件
doc 2020年一级建造师《建筑工程管理与实务》综合练习B卷 附答案
doc 山东省重点小学三年级数学【下册】开学考试试卷 (附答案)
doc 2020年六年级数学【上册】期末考试试题北师大版(II卷) 附解析
doc 2020年六年级数学【上册】期末考试试题新人教版(I卷) 含答案
doc 实验小学二年级数学下学期开学考试试题赣南版(I卷) 附答案
doc 实验小学二年级数学下学期期中考试试卷上海教育版B卷 含答案
doc 云南省2020年实验小学一年级语文【下册】期中摸底考试试题 附解析
doc 山东省重点小学三年级数学【下册】期中考试试题 (附解析)
doc 山东省重点小学三年级数学【下册】开学考试试题 (含答案)
doc 2019-2020年高三上学期期初分班教学测试物理试题 含答案
doc 云南省2020年实验小学一年级语文上学期期中考试试卷 附解析
doc 2020年六年级数学【上册】期末考试试题北师大版(I卷) 附答案
doc 云南省2020年实验小学一年级语文【下册】期末摸底考试试题 含答案
doc 山东省重点小学三年级数学【下册】开学考试试卷 附解析
doc 2020年一级建造师《建筑工程管理与实务》考前检测A卷 (附解析)
ppt 离散数学第十一章
doc 实验小学二年级数学下学期开学考试试题长春版B卷 附答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习D卷 附答案
doc 2019-2020年高三上学期期初分班教学测试政治试题 含答案
doc 2020年六年级数学【上册】期末考试试题外研版C卷 含答案
ppt 离散无记忆信源的渐近等同分割性
doc 云南省2020年实验小学一年级语文【下册】期末摸底考试试卷 附答案
doc 2020年六年级数学【上册】期末考试试题新人教版A卷 附答案
doc 实验小学二年级数学下学期开学考试试题部编版 附答案
doc 2019-2020年高三上学期期中阶段性测评 生物
doc 2020年六年级数学【上册】期末考试试题外研版(I卷) 附解析
ppt 《把铁路修的拉萨》PPT课件
ppt 《投影机故障大全》PPT课件
ppt 《投影机安装及调试》PPT课件
doc 2019-2020年高三上学期期中(生物)
doc 2020年六年级数学【上册】期末考试试题外研版 附解析
ppt 《投影与直观》PPT课件
doc 实验小学二年级数学下学期开学考试试题赣南版A卷 含答案
ppt 离散时间LTI系统的零输入响应
doc 实验小学二年级数学下学期开学考试试题赣南版(II卷) 附答案
doc 实验小学二年级数学下学期开学考试试题部编版A卷 附解析
doc 实验小学二年级数学下学期期中考试试卷人教版A卷 含答案
doc 云南省2020年实验小学一年级语文上学期期末考试试卷 附答案
doc 2019-2020学年高二英语下学期2月开学检测试题
doc 云南省2020年实验小学一年级语文【下册】期中考试试卷 附解析
doc 2019-2020年高三上学期期中(数学文)
doc 2019-2020年高三上学期期初分班教学测试文科数学试题 含答案
ppt 离散数学群与半群
doc 2020年一级建造师《建筑工程管理与实务》综合练习(II卷) (附答案)
doc 云南省2020年实验小学一年级语文【下册】开学摸底考试试卷 附解析
doc 实验小学二年级数学下学期期中考试试卷人教版B卷 附答案
doc 实验小学二年级数学下学期期中考试试卷上海教育版A卷 附解析
doc 实验小学二年级数学下学期期中考试试卷上海教育版(I卷) 附解析
doc 云南省2020年实验小学一年级语文上学期期中考试试卷 附答案
doc 2019-2020学年高二英语下学期4月月考试题 (III)
doc 2019-2020年高三上学期期中质量检测英语试题 Word版含答案
doc 云南省2020年实验小学一年级语文上学期开学考试试题 附解析
doc 实验小学二年级数学下学期开学考试试题部编版A卷 含答案
doc 山东省重点小学三年级数学【下册】期末摸底考试试卷 含答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习(II卷) 附解析
doc 2019-2020年高三上学期期中题英语
doc 2020年一级建造师《建筑工程管理与实务》综合练习A卷 附答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习(I卷) 附解析
doc 2020年一级建造师《建筑工程管理与实务》综合练习(I卷) 含答案
ppt 《抑郁症药物治疗》PPT课件
doc 山东省重点小学三年级数学【下册】期中摸底考试试卷 (附解析)
doc 山东省重点小学三年级数学【下册】期中考试试题 (附答案)
doc 广东省重点小学四年级数学下学期期末摸底考试试题A卷 附答案
doc 2019-2020年高三上学期期中质量检测语文试题(含附加题)含答案
doc 山东省重点小学三年级数学【下册】期末摸底考试试卷 附答案
doc 云南省2020年实验小学一年级语文上学期期末摸底考试试题 附答案
doc 实验小学二年级数学下学期期中考试试卷上海教育版(II卷) 附解析
doc 广东省重点小学四年级数学下学期期末摸底考试试题C卷 附答案
doc 2019-2020年高三上学期期中(物理d答案)
doc 山东省重点小学三年级数学【下册】期中考试试卷 (附解析)
doc 云南省2020年实验小学一年级语文上学期期中摸底考试试题 附解析
doc 云南省2020年实验小学一年级语文【下册】开学考试试题 附解析
doc 2019-2020年高三上学期期中质量评估化学试题
doc 广东省重点小学四年级数学下学期期末摸底考试试题C卷 (含答案)
ppt 《抑郁症的认知障碍》PPT课件
ppt 离散数学第四章谓词演算的推理理论-归结推理系统
doc 云南省2020年实验小学一年级语文【下册】开学摸底考试试卷 附答案
doc 实验小学二年级数学下学期期中考试试卷上海教育版C卷 附解析
doc 2019-2020年高三上学期期中(历史)
doc 山东省重点小学三年级数学【下册】开学考试试题 附解析
doc 2020年六年级数学【上册】期末考试试题外研版(II卷) 附答案
doc 云南省2020年实验小学一年级语文【下册】期末考试试题 附答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习(I卷) 附答案
doc 2020年一级建造师《建筑工程管理与实务》综合练习C卷 (附答案)
doc 2020年六年级数学【上册】期末考试试题外研版(II卷) 附解析
doc 2020年六年级数学【上册】期末考试试题江苏版 (含答案)
doc 实验小学二年级数学下学期开学考试试题长春版(II卷) 附答案
doc 2020年一级建造师《建筑工程管理与实务》考前检测B卷 (含答案)
ppt 《投影与视图基础》PPT课件
doc 2019-2020年高三上学期期中题数学理
ppt 《投影仪和照相机》PPT课件
doc 实验小学二年级数学下学期开学考试试题长春版(II卷) 附解析
doc 云南省2020年实验小学一年级语文上学期期中摸底考试试题 含答案
doc 2020年六年级数学【上册】期末考试试题外研版B卷 附解析
ppt 离散时间信号-序列
doc 2019-2020学年高二英语下学期5月月考试题 (I)
ppt 《投影与视图》PPT课件
doc 2020年六年级数学【上册】期末考试试题外研版 (含答案)
doc 2019-2020学年高二英语下学期3月月考试题 (II)
doc 2019-2020年高三上学期期中(物理)
ppt 离散数学绪论、命题
doc 2020年六年级数学【上册】期末考试试题新人教版C卷 含答案
doc 山东省重点小学三年级数学【下册】期中摸底考试试题 (附解析)
doc 实验小学二年级数学下学期期中考试试卷上海教育版(I卷) 附答案
ppt 《抓住根本注意动向》PPT课件
doc 2019-2020学年高二英语下学期3月月考试题 (I)
doc 云南省2020年实验小学一年级语文【下册】开学考试试题 附答案
doc 2020年一级建造师《建筑工程管理与实务》考前检测B卷 (附解析)
doc 云南省2020年实验小学一年级语文上学期开学考试试卷 附解析
doc 2020年一级建造师《建筑工程管理与实务》综合练习D卷 含答案
doc 2020年一级建造师《建筑工程管理与实务》考前检测A卷 附答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题(II卷) 含答案
doc 广东省重点小学四年级数学下学期期末摸底考试试题(II卷) 附答案
doc 云南省2020年实验小学一年级语文【下册】期中摸底考试试卷 附答案
ppt 《投影机灯泡的知识》PPT课件
doc 山东省重点小学三年级数学【下册】期末摸底考试试卷 (含答案)
doc 山东省重点小学三年级数学【下册】开学考试试题 (附答案)
ppt 《抒情技巧习题》PPT课件

离散数学谓词公式与解释

 版权申诉  ppt " "符号体系: 个体常元符号:a,b,c,……a1,a2,a3,…… 个体变元:x,y,z,……,x1,x2,x3,…… 函数符号:f,g,h,……f1,f2,f3,…… 谓词符号:F,G,H,…… 量词符号:  联结词: ∧∨ →  项的定义 个体变元、个体常元是项; 若 是任意n元函数,t1,t2,…,tn 是项,则 是项; 有限次的应用1,2得到项。" "§2.2 一阶逻辑合式公式及解释" " 原子公式: 为n元谓词符号,t1,t2,…,tn 是项,则 是原子公式; 合式公式的归纳定义: 1、任意的原子公式是公式 2、若A是公式,则xA、xA是公式; 3、若A、B是公式,则 A、A∧ B、A∨B、A → B、A B是公式; 有限次地应用前三条,得到公式。" "判断下列符号串是否为合式公式: x(P(x) ∧ Q(x)) xy(P(x) Q(y)) yx∧ P(x) x f(x) → x(g(x,y) ∨f(x) )" "一、合式公式的定义:" "在谓词公式中,形如xP(x)或xP(x)以及 xP(x,y)的部分中x称为指导变元,在辖域中,x的所有出现称为约束变元(约束出现);y是自由变元(自由出现)。 量词的辖域 (x)P(x)或(x)P(x)中的公式P(x),通称为量词的辖域。换言之,量词的辖域是邻接其后的公式,除非辖域是原子公式,否则应在所辖公式的两侧插入圆括号。 " " " "二、约束部分" "量词辖域举例" "例如:x F(x)G(x,y) 解:x的辖域仅F(x),x是指导变元,变元x第一次出现是约束出现,第二次出现是自由出现,y的出现是自由出现。所以第一个x是约束变元,第二个x是自由变元,本质上这两个x的含义是不同的;而y仅是自由变元。 " "换名规则" "可以看出,在谓词公式中一个变元可能既是约束出现,同时又有自由出现,则该变元既是自由变元又是约束变元,本质上这两种出现,用的是一个符号,实质上是不同的含义。为避免混淆,需要改名。改名要采用以下规则,使谓词公式的含义不改变。 1、 换名规则:对约束变元进行换名。 将量词辖域内出现的某个约束变元及其相应量词中的指导变元,可以换成一个其他变元,改变元不能与本辖域内的其他变元同名,公式中的其他部分不改变。 2、 代替规则:对自由变元进行代入。 整个谓词公式中同一个字母的自由变元是指同一个个体名词。因此可以用整个公式中没有的变元符号来代替,且要求整个公式中该变元同时用同一个符号代替。" "换名规则举例" "x F(x,y)∧x G(x,y) 改为:x F(x,y)∧u G(u,y) 或者为: z F(z,y)∧x G(x,y) 对x (F(x,y)∧y G(x,y)) F(x,y) 改为: x (F(x,t)∧y G(x,y)) F(s,t) 或者为:t (F(t,y)∧y G(t,y)) F(x,y)" "谓词公式的解释" "谓词逻辑中的解释(赋值) 在命题逻辑对每个命题符号作个真值指定可以得一个公式的一个指派,又称赋值,又称解释。如公式中共出现n个不同的命题符号,则共有2n个解释,因而可以列出公式的真值表。而谓词逻辑中公式的赋值解释是怎样的呢? 例如公式:x F(x,a)∧x G(f(x),a)" "三、谓词公式的赋值(解释)" "一个解释由4部分组成: (1) 非空个体域D; (2)D中特定元素; (3)D上特定函数; (4)D上特定谓词。 公式x F(x,a)∧x G(f(x),a) 指定:D=实数集合;a=0;f(x):3x;F(x,y):x≥y;G(x,y):x=y。 则x (x ≥0) ∧x (3x=0) 假命题。" "解释举例1" "给定解释I如下:" "x(F(x) ∧ G(x,2)) (F(2) ∧ G(2,2)) ∧ (F(3) ∧ G(3,2))  0 ∧ 1  1" "y L(2,y) ∧ y L(3,y) (L(2,2)∨L(2,3)) ∧(L(3,2) ∨ L(3,3)) ( 1 ∨0 ) ∧(0 ∨ 1)  1" "解释举例2" "例2:已知指定一个解释N如下: (1)个体域为自然数集合DN (2)指定常项a=0 (3)DN上的指定函数f(x,y)=x+y,g(x,y)=x*y (4)指定谓词F(x,y)为x=y 在以上指定的解释N下,说明下列公式的真值 (1)xF(g(x,a),x) 即x(x*0=x)该命题假的 (2)xy(F(f(x,a),y)F(f(y,a),x)) 在解释N下此公式:xy(x+0=yy+0=x)此命题为真 (3)F(f(x,y),f(y,z))在解释N下该公式x+y=y+z 此时,x,y,z均为自由变元,解释不对自由变元进行指定。因而该公式是命题函数,不是命题,真值不能确定。 " "解释的说明" "(1) 一个谓词公式如果不含自由变元,则在一个解释下,可以得到确定的真值,不同的解释下可能得到不同的真值。 (2) 公式的解释并不对变元进行指定,如果公式中含有自由变元,即使对公式进行了一个指派,也得不到确定的真值,其仅是个命题函数,但约束变元不受此限制。 3)有公式的解释定义可以看出,公式的解释有许多的解释,当D为无限集时,公式有无限多个解释,根本不可能将其一一列出,因而谓词逻辑的公式不可能有真值表可列。" "四、谓词公式的类型" " 设A是公式。如果A在任何的解释下都是真的,则A是永真式;如果A在任何的解释下都是假的,则A是永假式;如果A在一些解释下为假,一些解释下为真,则A是非永真的可满足式。" " 例如: x A(x) x A(x)是永真式; x A(x)∧x A(x)是永假式。" "代换实例" "设A0是含命题变元p1, p2, …, pn的命题逻辑公式,A1, A2, …, An是一阶逻辑公式,用Ai(1 i  n)替换A0中的pi的处处出现所得到的一阶逻辑公式A称为命题逻辑公式A0的替换实例。 定理:命题逻辑中的永真式的任意替换实例在一阶逻辑中都是永真式;命题逻辑中的矛盾式的任意替换实例在一阶逻辑中都是矛盾式 。" "1、永真式和永假式的代入实例是永真、永假式; 2. 对于某些简单的公式,特别对于简单的闭式,可在假定给定任意解释的前提下该公式的真值都为真(或者为假)来证明该公式是永真式(或矛盾式)。 3. 要证明一个公式是可满足式,只要找到一个解释,使得该公式的真值为真即可。同时为了证明它不是永真式,只要找一个解释,使得该公式的真值为假即可。 " "公式类型举例" "判断下列公式的类型: 1) x F(x)  (x  yG(x,y)   x F(x) ) 2) x F(x)   x F(x) 3) x  y F(x,y)   y x F(x,y) " "x F(x)  (x  yG(x,y)   x F(x) )" "解:显然该公式是:P  (Q P ) 的替换实例。容易知道P  (Q P ) 是永真式,从而x F(x)  (x  yG(x,y)   x F(x) )是永真式。" "2) x F(x)   x F(x)" "设在任意的解释I下, 1) x F(x) 为真,则 a,使得 F(a)为真,使得  x F(x)为真, 在这种情况下,x F(x)   x F(x)为真; 2) x F(x) 为假,x F(x)   x F(x)为真。 从而,在蕴涵式的前件x F(x) 为1或0的情况,蕴涵式都为真。 又由解释I的任意性,知公式x F(x)   x F(x)永真。" "3) x  y F(x,y)   y x F(x,y) " "1)取解释I1为:D=R,F(x,y):x>y 则公式为: x  y (x>y)   y x(x>y) =10=0,从而公式不是永真式; 2) 取解释I2为:D=R,F(x,y):x.y=0 则公式为:xy(x•y=0)yx(x•y=0) =11=1从而公式不是永假式; 可知,公式是非永真的可满足式。" "思考题:" "1、F(a)  x F(x) 2、F(a)   x F(x)" "解:1、F(a)  x F(x)是非永真的可满足式; ①设D={2},a=2,F(x):x=2,显然此时为真; ②设D=R,a=2,F(x):x=2,显然此时为假; 2、F(a)   x F(x)是永真式。






































 版权投诉/申诉   非法内容举报    本页不提供全部页面预览,未展示部分请购买并下载后观看使用