第三章命題逻辑.docVIP

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

第三章 命题逻辑 判断下列语句是否是命题,如果是命题,指出其真值: (1)是无理数; (2) 存在最大质数; 中国是一个人口众多的国家; 这座楼真高啊! 你喜欢“蓝色的多瑙河”吗? 请你关上门。 地球以外的星球上也有人。 解(1)是命题,真值为1。 是命题,真值为0。 是命题,真值为1。 、(5)、(6)均不是命题。 是命题,真值是惟一的,迟早会被指出。 说明 要判断一个语句是否是命题,首先要判断它是否是陈述句,然后再判断它的真值是否是惟一的。 本题中,(4)、(5)、(6)均不是陈述句,无法分辨其真假,故都不是命题。陈述句不一定是命题,这里的关键是:客观上有无真假可言,而不以主观能否判断为标准。 将下列命题符号化,并确定其真值: 5不是偶数; 天气炎热但湿度较低; 2+3=5或者他游泳; 如果a和b是偶数,则a+b是偶数; 2+2=4,当且仅当3是奇数。 解(1)设P:5是偶数。则(1)是:,真值为1。 (2)设P:天气炎热。Q:湿度较低。则(2)是:P∧Q。 显然,只有在既炎热又湿度较低的情况下,P∧Q的真值为1,否则,其真值皆为0。 (3)设P:2+3=5。Q:他游泳。则(3)是:P∨Q,真值为1。 (4)设P:a和b是偶数。Q:a+b是偶数。则(4)是PQ,真值为1。 (5)设P:2+2=4。Q:3是奇数。则(5)是:PQ,真值为1。 设命题P,Q的真值为1,命题R,S的真值为0,试确定下面命题的真值: G=(P∧Q∧R)∨((P∨Q)∧(R∨S); G=(﹁(P∧Q)∨R)∨(((﹁P∧Q)∨﹁R)∧S); G=((P∧Q)∨R)∧((QP)(R∨)); G=( P∨(Q(R∧P)))(Q∨S)。 解(1) P Q R S P∧Q∧R P∨Q R∨S ((P∨Q)∧(R∨S) G 1 1 0 0 0 1 0 1 1 故(1)的真值为1。 (2) P Q R S P∧Q (﹁P∧Q)∨R G 1 1 0 0 1 1 1 故(2)的真值为1。 (3) P Q R S P∧Q (P∧Q)∨R QP R∨(QP)(R∨ G 1 1 0 0 1 1 0 1 1 1 故(3)的真值为1。 P Q R S P P∨(Q(R∧P)) Q∨S G 1 1 0 0 1 1 1 1 故(4)的真值为1。 在什么情况下,下面的命题是真的:“说戏院是寒冷的或者是人们常去的地方是不对的,并且说别墅是温暖的或者戏院是讨厌的也是假的。” 解 设P:戏院是寒冷是;Q:戏院是人们常去的地方;R:别墅是温暖的;S:戏院是讨厌的; 于是,题设命题为G=(﹁(P∨Q))∧(﹁(R∨S)),且G的真值为1。 由此可知,命题(﹁(P∨Q))与(﹁(R∨S))的真值同时为1,即命题(P∨Q)与(R∨S)的真值同时为0,亦即命题P,Q,R,S的真值同时为0。 故当“戏院是温暖的,戏院不是人们常去的地方,别墅是寒冷的,戏院是不讨厌的”时,题设命题是真的。 说明 比较复杂的复合命题,命题之间往往会同时用多个联结及圆括号加以联结。在确定这种形式命题的真值过程中,必然会涉及到真值计算的次序。如果出现的联结词相同,又无括号时,按从左到右的次序运算;若遇有括号时,优先进行括号中的运算。总之,应按运算次序逐次求出真值的中间结果,直至完成全部计算。 构造下列公式的真值表,并解释其结果。 (1)(P∧(PQ))Q;(2)﹁(PQ)∧Q;(3)(P∨Q )(Q∨R) 解(1)的真值表 P Q PQ P∧(PQ) (P∧(PQ))Q 0 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 可见:(P∧(PQ))Q是恒真的。 (2)的真值表 P Q

文档评论(0)

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

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

1亿VIP精品文档

相关文档