- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第1章 命题逻辑-1.ppt
形式逻辑是研究思维的形式结构和规律的科学,它撇开具体的、个别的思维内容,从形式结构方面研究概念、判断和推理及其正确联系的规律。 数理逻辑是用数学方法研究推理的形式结构和规律的数学学科。它的创始人Leibniz,为了实现把推理变为演算的想法,把数学引入了形式逻辑中。其后,又经多人努力,逐渐使得数理逻辑成为一门专门的学科。 上个世纪30年代以后,数理逻辑进入一个崭新的发展阶段,逻辑学不仅与数学结合,还与计算机科学等密切关联。 从广义上讲,数理逻辑包括四论、两演算——即集合论、模型论、递归论、证明论和命题演算、谓词演算,但现在提到数理逻辑,一般是指命题演算和谓词演算。本课程只研究这两个演算。 第一章 命题逻辑1.1 命题及其表示方法 1.1.1 命题 数理逻辑研究的中心问题是推理,而推理的前提和结论都是表达判断的陈述句,因而表达判断的陈述句构成了推理的基本单位。 基本概念 命题:能够判断真假的陈述句。 命题的真值:命题的判断结果。 命题的真值只取两个值: 真(用T(true)或1表示)、假(用F(false)或0表示) 。 真命题:判断为正确的命题,即真值为真的命题。 假命题:判断为错误的命题,即真值为假的命题。 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤: 1、是否为陈述句; 2、是否有确定的、唯一的真值。 例:判断下列句子是否为命题。 (1). 100是自然数。 T (2). 太阳从西方升起。 F (3).100年内人类能登上火星。 (4). 别的星球上有生物。 是命题,客观上能判断真假。 (5). 1+101=110 二进制中为真,十进制中为假。 (6). 3+3=8 . F (7). x+39 不是命题 (8). 如果太阳从西方升起,那么2是奇数。 T (9). 国足能杀入2010世界杯当且仅当2+2=4。 F (10). 今天天气多好啊! 感叹句,不是命题 (11). 请你关上门! 祁使句,不是命题 (12). How do you do ? 疑问句,不是命题 (13). 我正在说谎。 是悖论 说明: (1)只有具有确定真值的陈述句才是命题。 一切没有判断内容的句子,无所谓是非的 句子,如感叹句、祁使句、疑问句等都不 是命题。 (2) 因为命题只有两种真值,所以“命题逻 辑”
您可能关注的文档
- 数学物理方程与特殊函数 第一章.ppt
- 数学物理方程与特殊函数课件17.ppt
- 数学物理方程与特殊函数课件ppt16.ppt
- 数学物理方程第三章-幂级数展开.ppt
- 数学物理方程课件1.ppt
- 数学系09级课程设计.ppt
- 数学课程标准的数学背景、目标和结构1.ppt
- 数学选修1--2课件2.2.1.2.ppt
- 数学选修2-3~1.2排列3.ppt
- 数学选修2-3~1.4二项式定理(第1课时).ppt
- 2025年中山市沙溪镇人民政府所属事业单位招聘11人笔试备考题库及参考答案详解一套.docx
- 2025年中山市横栏镇人民政府所属事业单位第二期招聘笔试高频难、易错点备考题库及参考答案详解一套.docx
- 2025年中山市横栏镇人民政府所属事业单位第二期招聘笔试高频难、易错点备考题库含答案详解.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试高频难、易错点备考题库及完整答案详解1套.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试高频难、易错点备考题库参考答案详解.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试备考题库附答案详解.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试高频难、易错点备考题库附答案详解.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试备考题库附答案详解.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试备考题库及答案详解一套.docx
- 2025年中山市阜沙镇人民政府所属事业单位招聘笔试备考题库及完整答案详解1套.docx
文档评论(0)