ImageVerifierCode 换一换
格式:PPT , 页数:38 ,大小:130.50KB ,
资源ID:1514690      下载积分:12 文钱
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,省得不是一点点
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.wenke99.com/d-1514690.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学之数理逻辑(2).ppt)为本站会员(99****p)主动上传,文客久久仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知文客久久(发送邮件至hr@wenke99.com或直接QQ联系客服),我们立即给予删除!

离散数学之数理逻辑(2).ppt

1、离散数学之数理逻辑( 2)上海交通大学软件学院吴刚2009年 6月内容n 命题逻辑n 等式的对偶定理n 蕴含重言式与命题逻辑推理n 范式n 命题联结词的归约回顾命题的公式化n 如果我下班早 , 就去商店看看 , 除非我很累n P Q R,其中 P代表 “我很累 ”, Q代表 “我下班早”, R代表 “我去商店看看 ”n 还可表示为: P (Q R)n 李四是计算机系的学生 , 他住在 312室或 313室n P (Q R) (Q R),其中: P代表 “李四是计算机系学生 ”, Q代表 “李四住 312室 ”, R代表 “李四住313室 ”n 还可表示为: P (Q R) (Q R)等式的证明

2、n 例 1: P Q R = P (Q R)n 例 2: P (Q R) (Q R)=P (Q R) (Q R)n 注意: 等式 A=B代表的含义是 A B永真,不是 A永真或 B永真等式的对偶定理n 定义:设有公式 A,其中仅使用了联结词 ,则将其中的联结词 及命题常量 T、 F分别换成 和 F、 T后得到的公式 A*称为 A的对偶公式n 对偶定理:设有等式 A=B,且 A,B中 均只使用了联结词 ,则有 A*=B*n 即若有一个等式成立,其两边公式的对偶公式的等式也成立等式的对偶定理n 例子:n 由 P (P Q)=P可得 P (P Q)=Pn 由 P Q= (P Q) 可得P Q= (P

3、 Q)n 由 F P =F 可得T P =T蕴含重言式n 基本蕴含重言式n 第 182页 (43)-(61),可用真值表证明n P Q P意味着 P Q P永真P Q P Q P Q PT T T TT F F TF T F TF F F T蕴含重言式n 基本蕴含重言式n P P Qn Q P Qn P (P Q) Qn (P Q) (Q R) P Rn 此外等价重言式可生成两个蕴含重言式n 因为 P Q = (P Q) (Q P) n 所以若 P Q (即 P=Q),则有 PQ且 QP命题逻辑推理n 一般推理模式n 一组前提,推出一个结论n 前提 1,前提 2,前提 n 结论n 所有的前提是合取关系,与顺序无关n 只有在 “当所有前提都为真时,结论为真 ”成立的情况下,这一推理才是有效的。n 定理:n “前提 1,前提 2,前提 n 结论 ”有效的充要条件是命题公式 “(前提 1 前提 2 前提n) 结论 ”是重言式命题逻辑推理n 若有 PQ,则有 P Qn 若有 P1 P2 P3Q,则有P1,P2,P3 Q

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。