【题目】离散数学量词辖域的扩张与收缩设公式A()含自由出现的个体变项x,B不含的出现,则( 1)∀x(A(x)VB)=∀xA(x)VB(2) ∀x(A(x)→B)=∃xA(x)→B这上面的等值式实在不理解.为什么(1)中等值的还是所有而(2)中等值后面就变成存在了呢?
离散数学量词辖域的扩张与收缩设公式A(x)含自由出现的个体变项x,B不含x的出现,则(1)∀x(A(x)VB)∀xA(x)VB(2)∀x(A(x)→B)∃xA(x)→B这上面的等值式实在不理解..为什么(1)中等值的还是所有 而(2)中等值后面就变成存在了呢? 答案 从公式本身来说,这两个等价公式是可以证明的,不过证明的...
离散数学量词辖域的扩张与收缩设公式A(x)含自由出现的个体变项x,B不含x的出现,则(1)∀x(A(x)VB)∀xA(x)VB(2)∀x(A(x)→B)∃xA(x)→B这上面的等值式实在不理解..为什么(1)中等值的还
离散数学量词辖域的扩张与收缩设公式A(x)含自由出现的个体变项x,B不含x的出现,则(1)∀x(A(x)VB)∀xA(x)VB(2)∀x(A(x)→B)∃xA(x)→B这上面的等值式实在不理解..为什么(1)中等值的还
离散数学量词辖域的扩张与收缩 不证明,简单的解释一下吧。先看(1),设x的取值是有限的:a1,a2,...,ak,则∀x(A(x)VB)(A(a1)VB)∧(A(a2)VB)∧...∧(A(ak)VB)(A(a1)∧A(a2)∧...∧A(ak))VB∀xA(x)VB。推广到无限个体域时结论也应该成立。对于(2),利用命题逻辑等值式
[9] 离散数学 东北大学(全69讲)(主... 2305播放 14:32 [10] 命题逻辑推理一:直接推理 2937播放 14:07 [11] 命题逻辑推理二:间接推理 1973播放 22:07 [12] 谓词逻辑的基本概念 1738播放 21:31 [13] 谓词公式与量词的辖域 1413播放 待播放
我觉的条件“B不含x的出现”改成”B不含x的自由出现”就可以了，B可以含x的约束出现，在B含x的约束出现时，通过消去量词等 值式，可以消去B中的x，从而使得B不含x的出现,从而也满足上等值式
量词辖域收缩与扩张等..图中的量词辖域收缩与扩张等值式,书上说:A(X)是含X自由出现的任意的公式,B中不含有X的自由出现。这句话不理解,A(X)中的X的不就是对应量词后面的指导变元吗,那A(X)在量词的辖域范围内,它里面X
啊
痞子有猫i 白丁 1 对量词辖域收缩与扩张等值式不是很理解,划红线的句子放在下面那道题目里应该怎么理解?登录百度帐号 扫二维码下载贴吧客户端 下载贴吧APP看高清直播、视频! 贴吧页面意见反馈 违规贴吧举报反馈通道 贴吧违规信息处理公示0回复贴,共1页 <<返回离散数学吧 分享到: ©2022 Baidu贴吧协议|隐私...