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

加入VIP,省得不是一点点
 

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

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

下载须知

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

版权提示 | 免责声明

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

数理逻辑基础.ppt

1、第二章 数理逻辑基础命题逻辑谓词逻辑文本代换2.1 命题逻辑l 什么是命题? 命题为具有确定真假意义的陈述句。 命题必须具备二个条件:l 其一,语句是陈述句;l 其二,语句有唯一确定的真假意义。联结词l “” 否定联结词 P是命题, P是 P的否命题 是由联结词 和命题 P组成的复合命题 一元命题联结词l “” 合取联结词 PQ是命题 P, Q的合取式 是 “”和 P, Q组成的复合命题 “”在语句中相当于 “不但 而且 ” PQ取值 1,当且仅当 P, Q均取 1 PQ取值为 0,只要 P, Q之一取 0. 联结词l “” 析取联结词 PQ是命题 P, Q的析取式 联结词 “” 表示相容或

2、PQ取值 1,只要 P, Q之一取值 1, PQ取值 0,只有 P, Q都取值 0. l “” 不可兼析取 (异或 )联结词 表示不相容的或 即 “PQ”“PQPQ”.联结词l “” 等价联结词 PQ是 P, Q的等价式 “”在语句中相当于 “ 当且仅当 ” PQ取值 1当且仅当 P, Q取值相同 . 联结词l “” 蕴含联结词 “”在语句中相当于 “如果 P,那么 Q” PQ取值为 0,只有 P取值为 1, Q取值为 0时 其余各种情况,均有 PQ取值为 1l 10的真值为 0l 01, 11, 00的真值均为 1. 联结词运算的优先次序l l l l l 命题定律一种状态下命题的值l 定义 1:状态是标识符集到值 T和 F上的一个函数。例: 令状态 s是由 (a,F), (b,T), (c,T)定义的函数 s(a)=F, s(b)=T , s(c)=Tl 定义 2:如果命题 e中的每个标识符在状态 s下都有对应的值 T或 F,则称命题 e在状态 s下是有意义的。

Copyright © 2018-2021 Wenke99.com All rights reserved

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

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

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