离散数学-陈莉-第一篇数理逻辑.ppt

  1. 1、本文档共39页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-陈莉-第一篇数理逻辑.ppt

离 散 数 学 电子教案 西北大学 信息科学与技术学院 绪 言 1. 计算机科学与离散数学 介绍离散数学在计算机科学发展中的作用与关系,明确离散数学是掌握与研究计算机科学的基础理论与工具。 2.离散数学的特征 ? 离散性 ? 能行性 3.离散数学的内容 离散数学的主要内容为: ? 数理逻辑 ? 集合论 ? 代数系统 ? 图论 第一篇 数理逻辑 数理逻辑是用数学方法研究形式逻辑演绎推理规则的科学,它是一门数学,是一门研究演绎推理规则的数学,在学习此部分时,主要要掌握如下几个要点: ① 思维的形式化 ② 指派法 ③ 公式推理 ④ 公理系统 ⑤ 范式 ⑥ 自动定理证明 本篇由命题逻辑、谓词逻辑、公理化理论及非经典逻辑等四部分组成,其中命题逻辑以命题为研究对象而谓词逻辑则以谓词为研究对象,而公理化理论则是数理逻辑中演绎推理的形式化思想的介绍,最后非经典逻辑则介绍若干种计算机科学中常用的一些特殊形式逻辑,以上四部分有机结合构成完整的整体。 §1.4 命题逻辑基本等式 (6)命题逻辑42个基本等式。 交换律 P∨Q=Q∨P; P∧Q=Q∧P; P?Q=Q?P. 结合律 (P∨Q)∨R=P∨(Q∨R); (P∧Q)∧R=P∧(Q∧R); (P?Q)?R=P?(Q?R). 分配律 P∧(Q∨R)=(P∧Q)∨(P∧R); P∨(Q∧R)=(P∨Q)∧(P∨R); 否定深入 ??P=P; ?(P∧Q)=?P∨?Q; ?(P∨Q)=?P∧?Q; ?(P?Q)=P∧?Q; (14)?(P?Q)=?P?Q=P??Q; 变元等同 P∧P=P; P∨P=P; P∧?P=F; P∨?P=T; P?P=T; P??P=?P; ?P?P=P; P?P=T; P??P=?P?P=F; 常值与变元的联结 T∧P=P; F∧P=F; T∨P=T; F∨P=F; T?P=P; F?P=T; P?T=T; P?F=?P; T?P=P; F?P=?P; 联结词化归 P∧Q=?(?P∨?Q); P∨Q=?(?P∧?Q); P?Q=?P∨Q; P?Q=(P?Q)∧(Q?P) 其它 P?Q=?Q??P (P?Q)∧(P?R)=P?Q∧R P∨(P∧Q)=P P?(Q?R)=P∧Q?R P∧(P∨Q)=P §1.5 对偶定理 (7)对偶公式定义 (8)对偶公式性质: 一个等式成立其对偶等式也成立 §1.6 命题逻辑基本蕴含式及推理规则 (9)19个基本蕴含重言式 P∧Q?P; P∧Q?Q; P? P∨Q; Q?P∨Q; ?P?P?Q; Q?P?Q; ?(P?Q)? P; ?(P?Q)? ? Q; ?P∧(P∨Q)?Q; ? Q∧(P∨Q)?P; P∧(P?Q)?Q; ?Q∧(P?Q)??P; (P?Q)∧(Q?R)? P?R; (P?Q)∧(R?S)? P∧R?Q∧S; (P∨Q)∧(P?R)∧(Q?R)?R; P?(Q?P∧Q); (P?Q)?((Q?R)?(P?R)); (P?(Q?R))?(Q?(P?R)); (P?Q)?((R?Q)?(P∨R?Q)). (10)11个推理规则 P,QP; P,QQ; PP∨Q; QP∨Q; P,QP∧Q; ?P,P∨QQ; P,P?QQ; ?Q,PQ?P; P?Q,Q?RP ?R; P?Q,R?SP∧R ? Q∧S; P∨Q,P?R,Q?RR; §1.7 范式 (11)范式——命题公式的一种标准形式 (12)特异析取范式:该范式是一个析取式,每个析取项是所有命题变元式其否定的合取式。 (13)特异合取范式:该范式是一个合取式,每个析取项是所有命题变元式其否定的析取式。 §1.8 命题联结词的扩充与归约 (13

文档评论(0)

heroliuguan + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:8073070133000003

1亿VIP精品文档

相关文档