南京航空航天大学数理逻辑08PPT.ppt

上传人:99****p 文档编号:1526922 上传时间:2019-03-04 格式:PPT 页数:96 大小:345.50KB
下载 相关 举报
南京航空航天大学数理逻辑08PPT.ppt_第1页
第1页 / 共96页
南京航空航天大学数理逻辑08PPT.ppt_第2页
第2页 / 共96页
南京航空航天大学数理逻辑08PPT.ppt_第3页
第3页 / 共96页
南京航空航天大学数理逻辑08PPT.ppt_第4页
第4页 / 共96页
南京航空航天大学数理逻辑08PPT.ppt_第5页
第5页 / 共96页
点击查看更多>>
资源描述

1、数理逻辑n 数理逻辑:用数学的方法研究逻辑问题。 n 逻辑演算:命题逻辑演算、谓词逻辑演算。 n 公理集合论n 证明论n 模型论n 递归论 1.1 命题 n 命题:可以区分真假的陈述句。n 今天是星期一。n 南京是江苏的省会。n 今天天气真好啊!n 禁止抽烟!n 你有笔吗?1.2 联结词与真值表 n 原子命题:不能再分解的命题。 n 今天是星期一。 n 南京是江苏的省会。 n 他在跑步或打球。 1.2 联结词与真值表 n 否定 (非): 含义:不n 如果 p表示 “ 今天是星期一 ” ,则 p表示 “ 今天不是星期一 ” 。p p0 11 01.2 联结词与真值表 n 合取词: 含义:并且 n

2、 如果 p表示 “ 今天是星期一 ” ,q表示 “ 今天是晴天 ” ,则 pq 表示 “ 今天是星期一并且今天是晴天” 。 p q p q0 0 00 1 01 0 01 1 11.2 联结词与真值表 n 析取词: 含义:或者 n 如果 p表示 “ 小王在跑步 ” , q表示 “ 小李在打球 ” ,则 pq 表示 “ 小王在跑步或者小李在打球 ” 。 p q p q0 0 00 1 11 0 11 1 11.2 联结词与真值表 n 不可兼或 :小王现在在操场或者教室,用 r表示。 p表示 “ 小王在操场 ” , q表示 “ 小王在教室 ” n p q并没有完全刻划上述命 题 ,r应该为 : (p q) (p q) p q r0 0 00 1 11 0 11 1 01.2 联结词与真值表 n 蕴含词: 含义:如果 .那么 . n 如果 p表示 “ 我有空 ” , q表示 “ 我去图书馆” ,则 pq表示 “ 如果我有空 ,那么我就去图书馆 ” 。 p q pq0 0 10 1 11 0 01 1 11.2 联结词与真值表 n 蕴含怪论:n 如果今天是星期一,那么南航位于北京。 p q pq0 0 10 1 11 0 01 1 1

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 教育教学资料库 > 课件讲义

Copyright © 2018-2021 Wenke99.com All rights reserved

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

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

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