逻辑与证明.ppt
《逻辑与证明.ppt》由会员分享,可在线阅读,更多相关《逻辑与证明.ppt(17页珍藏版)》请在三一文库上搜索。
1、逻辑与证明,The discipline that deals with the methods of reasoning,什么是逻辑,为什么学逻辑?,逻辑是日常生活中的重要工具: 父子对话: 子:爸爸,我要玩游戏 父:不做完作业不能玩 如果以p表示“做完作业”,q表示“玩游戏”: 常理: 数学:,良好的逻辑能力能够让你思路清晰,给人以信任感!,逻辑迷题,泥巴孩谜题 一个男孩和一个女孩玩耍回来,看不见自己的额头,父亲说“你们当中至少有一个人额头上有泥”。父亲问孩子“你知道你额头上有没有泥?”,p:男孩的额头上有泥 q:女孩的额头上有泥 pq 为真,什么是逻辑,为什么学逻辑?,逻辑是计算机科学的
2、重要基础 程序验证: 是什么功能?对所有的合法输入,都能保证正确吗? 霍尔的初始/终结断言,证明程序相对于给予他们的规定是正确的: 初始断言:T 终结断言:abs=|x|,if x0 then abs:=-x else abs:=x,为阅读和构造证明而必须掌握的若干基本逻辑要素:形式化,命题、真值 连接符及其真值表 说明复合命题的组成、复合命题的真值; 命题表达式及其真值的确定:真值表; 异或、蕴涵、双蕴含 双蕴含可以举菜单的例子; 可能式、永真式、永假式; 逻辑等价,命题,命题指可以判断真假的陈述句 判断下列句子是否为命题 税收下降了 我的收入上升了 今天是星期五 你会说英语吗? 3-x=5
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 逻辑 证明
![提示](https://www.31doc.com/images/bang_tan.gif)
链接地址:https://www.31doc.com/p-3221063.html