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

加入VIP,省得不是一点点
 

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

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

下载须知

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

版权提示 | 免责声明

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

离散数学的命题逻辑.ppt

1、数理逻辑数理逻辑 : 命题逻辑命题逻辑1逻辑o 逻辑不仅对理解数学推理十分重要,而且在计算机科学中有许多应用。这些逻辑规则用于计算机电路设计、计算机程序构造、程序正确性证明等许多方面!2Copyright 2007 by Xu Dezhi 3逻辑学o 逻辑学 = 研究正确推理的科学o 推理:由一个或几个命题推出另外一个命题的思维形式。o 逻辑学的作用1、有助于准确、严密地表达和交流思想。2、有助于培养、提高认知能力,获得间接知识。3、有助于识别、驳斥谬误和诡辩,进行批判性思维。p 数理逻辑:用数学方法研究推理的一门学科n 一套符号体系 + 一组推理规则 3Copyright 2007 by X

2、u Dezhi 4逻辑学o 逻辑学关注的是陈述(命题)之间的关系 。例如 :n 我的表是数字的 .n 所有数字设备都依靠电池运行 .n 因此,我的表依靠电池运行o 注意:逻辑学并不关心前面两个陈述(命题)的真假。但是,如果它们是真的,则推论也一定是真的。4p 命题:n 凡是具有确定真假意义的陈述句均称为命题。p 命题的值 :n 若为 “真 ”,用或表示;n 若为 “假 ”,用或表示。 p 由于一个命题的值只可能取 “真 ”或 “假 ”两种值,因此,命题逻辑也称为 “二值逻辑 ”。p 延伸阅读 :模糊逻辑基本概念 : 命题与命题的值5下面三类陈述句是命题:1. 现实可判断真假的陈述句。2.目前还

3、不知道真假,但它们本身是具有真假意义的。3. 其真假与讨论问题范围(论域)有关的陈述句(如:所有的人都爱跑步)。下面的不是命题:感叹句 ,疑问句,祈使句 ,非命题陈述句:悖论语句 (如 :我正在说谎 )。6例: 地球绕着月亮转。 1+1=3。 禁止烟火! 地球有一天会爆炸。 明天会下雨吗? x5. 如果明天天气晴朗,我就到湘江边散步 。 如果太阳从西边升起 ,我就可以长生不老。9) 火星上有水。 7p 简单命题 (原子命题) 它不能再分解成更简单的命题。p 在命题逻辑中,简单命题被看作是一个整体,不再分析其内部的逻辑形式。 常用大写字母: P, Q, R, . 表示简单命题。 p 例如: P: 4是质数, Q:所有人都爱学习简单命题与复合命题8复合命题(命题的组合)p 复合(杂)命题 命题可以通过逻辑联接词构成新的命题,即复合命题。复合命题的子命题也可以是复合命题。p 例如:n 如果明天天气晴朗,我就到湘江边散步 。n 如果太阳从西边升起 ,我就可以长生不老。9命题可以通过一些逻辑联结词构成新的命题(复合命题)1.否定词 : 定义 :设是命题,复合命题 “ ”是的否定,规定 为真当且仅当为假。例: 长沙的秋天景色很美。 :Q:上海处处都清洁。 Q: 五种常用的命题(逻辑)联接词10

Copyright © 2018-2021 Wenke99.com All rights reserved

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

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

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