第1章 命题逻辑-1.pptVIP

  1. 1、本文档共14页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 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) 因为命题只有两种真值,所以“命题逻 辑”

您可能关注的文档

文档评论(0)

xinshengwencai + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:5311233133000002

1亿VIP精品文档

相关文档