- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
[理学]命题逻辑基本概念
离 散 数 学
数学与计算机科学学院
吴 英 杰
yjwu@fzu.edu.cn
第一部分 数理逻辑
数理逻辑是研究推理(即研究人类思维的
形式结构和规律)的科学,起源于17 世
纪,它采用数学符号化的方法,因此也称
为符号逻辑。
从广义上讲,数理逻辑包括四论、两演
算—— 即集合论、模型论、递归论、证明
论和命题演算、谓词演算,但现在提到数
理逻辑,一般是指命题演算和谓词演算。
本书也只研究这两个演算。
2008-9-15 计算机科学与技术系 2
第一部分 数理逻辑
数理逻辑的创始人是Leibniz ,为了实现把推理
变为演算的想法,他把数学引入了形式逻辑。其
后,又经多人努力,逐渐使得数理逻辑成为一门
专门的学科。
上个世纪30年代以后,数理逻辑进入一个崭新的
发展阶段,逻辑学不仅与数学结合,还与计算机
科学等密切关联。
1931年Godel不完全性定理的提出,以及递归函
数可计算性的引入,促使了1936年Turing机的产
生,十年后,第一台电子计算机问世。
2008-9-15 计算机科学与技术系 3
第一部分 数理逻辑
数理逻辑与计算机科学、控制论、人工智能的相互渗
透推动了其自身的发展,模糊逻辑、概率逻辑、归纳
逻辑、时态逻辑等都是目前比较热门的研究领域。
本篇我们只从语义出发,对数理逻辑中的命题演算与
谓词演算等作一简单的、直接的、非形式化的介绍,
将不涉及任何公理系统。
2008-9-15 计算机科学与技术系 4
第一章 命题逻辑基本概念
本章说明
本章说明
本章的主要内容
– 命题、联结词、复合命题
– 命题公式、赋值、命题公式的分类
本章与后续各章的关系
– 本章是后续各章的准备或前提
2008-9-15 计算机科学与技术系 6
第一章 命题逻辑基本概念
1.1 命题与联结词
基本概念
命题:能够判断真假的陈述句。
命题的真值:命题的判断结果。真值只取两个
值: 真、假。
真命题:真值为真的命题。
假命题:真值为假的命题。
判断命题的两个步骤:
1、是否为陈述句;
2、是否有确定的、唯一的真值。
2008-9-15 计算机科学与技术系 7
第一章 命题逻辑基本概念
例:判断下列句子是否为命题。
1、100是自然数。
2、太阳从西方升起。
3、How do you do ?
4、今年国庆节下小雨。
5、x+39
6、我正在说谎。
7、请不要说谎!
8、如果周末不下雨,那么我们将去郊游。
9、这朵花真美丽啊!
2008-9-15 计算机科学与技术系 8
第一章 命题逻辑基本概念
命题及其真值的抽象化
在本书中,用小写英文字母p,q,r,…p ,p ,p …等
1 2 3
表示命题,用“1”、“0”分别表示真值的真、假。
如是:
p :罗纳尔多是球星。
q:5是负数。
p3 :明天天气晴。
皆为符号化的命题,其真值依次为1、0、1或0 。
2008-9-15 计算机
您可能关注的文档
最近下载
- 2025中国银行中银国际证券股份有限公司招聘8人笔试模拟试题及答案解析.docx VIP
- 神经介入治疗概述及护理常规.ppt VIP
- 舒伯特第二即兴曲,降E大调 D.899之2 Impromptu No. 2 in E flat major, D. 899, No. 2 Op90 Schubert钢琴谱.pdf VIP
- 深潜器钛合金框架结构装配焊接工艺研究-中国造船工程学会.doc
- 村两委工作细则汇编.doc VIP
- 业财融合背景下项目全周期创新管理研究与实践探索.docx VIP
- 《耳穴压豆疗法》PPT课件.pptx VIP
- 设备故障率分析图表(月度).xls VIP
- XXX村两委班子工作职责(最新整理By阿拉蕾).doc VIP
- 四川省雅安市2023-2024学年八年级下学期期末考试数学试题.docx VIP
文档评论(0)