收藏 分享(赏)

离散数学一阶逻辑等值演算与推理.ppt

上传人:天天快乐 文档编号:1360642 上传时间:2018-07-03 格式:PPT 页数:30 大小:1.34MB
下载 相关 举报
离散数学一阶逻辑等值演算与推理.ppt_第1页
第1页 / 共30页
离散数学一阶逻辑等值演算与推理.ppt_第2页
第2页 / 共30页
离散数学一阶逻辑等值演算与推理.ppt_第3页
第3页 / 共30页
离散数学一阶逻辑等值演算与推理.ppt_第4页
第4页 / 共30页
离散数学一阶逻辑等值演算与推理.ppt_第5页
第5页 / 共30页
点击查看更多>>
资源描述

1、1,第五章 一阶逻辑等值演算与推理,2,第一节 一阶逻辑等值式与置换规则,一、等值式与基本的等值式 1等值式(定义5.1)AB当且仅当AB为永真式 (A与B为任意的一阶逻辑公式) 注意:与定义2.1的区别与联系,3,(2)量词否定等值式 xA(x)xA(x) xA(x) xA(x),(3)量词辖域收缩与扩张等值式. A(x)是含x自由出现的公式,B中不含x的出现 关于全称量词的: x(A(x)B) xA(x)B x(A(x)B) xA(x)B x(A(x)B) xA(x)B x(BA(x) BxA(x),关于存在量词的: x(A(x)B) xA(x)B x(A(x)B) xA(x)B x(A(

2、x)B) xA(x)B x(BA(x) BxA(x),(4)量词分配等值式 x(A(x)B(x) xA(x)xB(x) x(A(x)B(x) xA(x)xB(x)注意:对无分配律,对无分配律,4,5,6,第二节 一阶逻辑前束范式,7,8,9,10,11,12,第三节 一阶逻辑的推理理论,13,14,15,16,17,18,四、自然推理系统F,19,20,五. 在自然推理系统F中构造推理的证明,21,22,23,24,25,26,27,第五章 习题课,28,29,二、练习题1证明下列各等值式(1)x(F(x)G(x) x(F(x)G(x)(2)x(F(x)G(x) x(F(x)G(x)(3)x(F(x)y(G(y)L(x,y) xy(F(x)G(y)L(x,y),2设个体域D=a,b,c,消去下列公式的量词(1)xF(x)yG(y)(2)xy(F(x)G(y)(3)x(F(x)yG(y),30,4在自然推理系统F中构造下面推理的证明.每个喜欢步行的人都不喜欢骑自行车. 每个人或者是喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车. 所以,有人不喜欢步行(个体域为人的集合),

展开阅读全文
相关资源
猜你喜欢
相关搜索
资源标签

当前位置:首页 > 经济财会 > 贸易

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报