原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
命题逻辑的基本概念
逻辑学是研究思维或推理的形式结构和规律的学科，最早由古希腊学者亚里士多德创立。利用数学方法研究思维或推理的形式结构和规律的学科叫做数理逻辑。数理逻辑的基本内容包括：命题逻辑、谓词逻辑。它们对程序设计语言的研制都具有十分重要的意义。命题逻辑，以命题为基本单位，研究由命题构成的前提和结论之间的可推导关系。这一讲介绍命题的相关概念和命题的符号化表示。
什么是命题？命题：能够唯一判断真假的陈述句。命题首先是陈述句，因为陈述句才能在推理中作判断，其次真、假要唯一确定。所谓真、假，就是这个陈述句，是对的，还是错的。命题的相关概念
命题：能够唯一判断真假的陈述句。例如：2是素数。陈述句、真雪是黑色的。陈述句、假命题的真值：命题具有的判断结果。如果命题所做的判断与客观一致，则该命题为真（用1或T表示）。如果命题所做的判断与客观不一致，则该命题为假（用0或F表示）。例如：2050年元旦是晴天。火星上存在生命。真值是1真值是0是命题。真值确定但未知。命题的相关概念
命题：能唯一判断真假的陈述句。疑问句、感叹句、祈使句都不是命题。例如：明天下午开会吗？软件学院的男生真精神！请不要讲话！命题非真即假，判断结果不唯一确定的不是命题。例：5x+111。不是命题。x的值不确定，真值不确定，不是命题。命题的相关概念
命题：能唯一判断真假的陈述句。陈述句中的悖论不是命题。例如：我说的是错话。自相矛盾，不是命题。练习：2是偶数。2是偶数，而且雪是黑色的。是命题，并且不能再分解。是由2个命题合起来的。命题的相关概念
只对一个事物的一个性质进行判断的命题是简单命题，也称为原子命题。可以分解成若干个简单命题的命题是复合命题。连接命题，对真值进行运算的词叫命题联结词。例如：1）雪是白色的。2）张三和李四是表兄弟。3）雪不是白色的。4）张三和李四都是大学生。5）如果明天不下雨，我们就去爬山。1)和2)是简单命题。其真值由客观事实确定。3)4)5)由简单命题通过命题联结词构造而成是复合命题。真值由联结词确定
命题的真值是确定的，称之为命题常项（或命题常元）。但有的陈述句，其含有变量，真值可以变化，我们称之为命题变项（或命题变元）。但它们不是命题。命题的相关概念如：5x+111，x=y。
用字母和逻辑符号（联结词）表示命题，称为命题的符号化。对于简单命题，无论是命题常项，还是命题变项，都用小写的字母表示。命题的符号化表示注意：表示简单命题的字母，一般是英文字母表中靠后的字母，如p、q、r等。如：p:雪是白色的。q:5x+111。
对复合命题符号化，通常需要如下联结词：否定联接词：?（非）合取联结词：?（并且）析取联结词：?（或）蕴含联接词：?（如果......那么......）等价联接词：?（当且仅当）命题的符号化表示
文档评论（0）