- 1、本文档共24页,可阅读全部内容。
- 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.分解式 p∧q┣ p p∧q┣ q 2.合成式(组合式) p,q┣ p∧q 交换律: (p∧q) ? ( q∧p) 相容选言命题的定义、联结词、形式、逻辑特性。(一真即真;全假才假。引申:∨ 为真,选言肢至少有一真,∨ 为假,选言肢全假。 有效推理式和推理规则:否定肯定式: p ∨ q, ? p ┣ q 德摩根律: ? (p ∨ q) ? (?p ∧ ?q) ? (p ∧ q) ? (?p ∨ ?q) 1.单项选择: ① 与命题“这个被告既不是贪污犯,也不是盗窃犯。”相矛盾的命题是( ) a. 这个被告不是贪污犯,或者不是盗窃犯。 b. 这个被告既是贪污犯,也是盗窃犯。 c. 这个被告是贪污犯,但不是盗窃犯。 d. 这个被告或是贪污犯,或是盗窃犯。 ② 与“? p ∨ ?q”等值的是( ) a. ?p ∧ q b. ?p ∨ q c. ? (p ∧ q) d. ? (?p ∨ q) 2.双项选择: ①下列推理无效的是( )和( )。 ⑴ p∨ q,?q┣ p ⑵ p∧ q┣ q ⑶ ?p∧ ?q┣ ?q∨ r ⑷ q∨ p┣ q ⑸ p∨ q,p┣ ?q ⑹ p∧ ?q┣ p ∨? q ②下列推理有效的是( )和( )。 ⑴ p∨ q,?q┣ ?p ⑵ p ∧ ?q┣ p∨ q ⑶ p∨ ?q,p┣ q ⑷ q∨ p┣ p∧q ⑸ p∧q∧r┣ r∧q ⑹ p ∨ q∨ r,?p┣ q 二、不相容选言命题及其推理(一)不相容选言命题的逻辑特性 1.定义:陈述几种事物情况有且只有一种存在的选言命题。 例: 要么玉碎,要么瓦全。 鱼或熊掌,不可兼得。 2.联结词和命题形式 “要么……要么”、“不是……就是”、“有且仅有一个……”等等。 3.逻辑特性 若肢命题有且只有一真,则不相容选言命题为真;若肢命题全假或不止一真,则不相容选言命题为假。 由此引申: 若不相容选言命题为真,则肢命题有且只有一真;若不相容选言命题为假,则肢命题全假或不止一真。 一真才真,其余为假。 不相容选言命题的逻辑特性可以用下面的真值表表示: 例:17世纪法国寓言诗人拉·封丹(Jeande La Fontaine)的《磨工卖驴》描述了这样一个故事。 磨工和儿子一块儿去卖驴。路上,磨工让儿子骑驴,自己跟着步行。有行人看到说:“成何体统!儿子骑驴,让老子步行!”磨工赶快让儿子下来,自己骑到驴上。 走一段路,又有人说:“老子骑着驴,让儿子步行,这不是虐待孩子吗!”磨工一听,干脆,让儿子也骑上吧! 可是,走不多远,又有人替驴子抱不平:“简直一点都不知道爱惜动物!”磨工和儿子就都下了驴子,跟着驴子后面步行。 又走了一会儿,有人嘲讽道:“这是不是新风尚,驴子也解放了?” 磨工听了,没有办法,只好和儿子抬着驴子走。这样一来,马上就有人喊起来:“快来瞧啊!这三个蠢驴之中看来最笨的不是驴自己。” 这样不行,那样也不行。磨工一时感到计无所出。经过思考,磨工大悟。选择其中一种方式,走自己的路,让别人说去吧。 “儿子一人骑驴,磨工一人骑驴,两人都骑驴,两人都不骑驴,两人抬驴”表达的是一个不相容选言命题。当且仅当选择一个选言肢时,不相容选言命题为真;其他情况都为假。 严格析取的定义 要么要鱼(p),要么要熊掌(q) 上述命题可解释为: “或者要鱼,或者要熊掌,同时不能既要鱼又要熊掌。” 用真值形式表示: 要么p,要么q = (p?q)??(p?q) 严格析取的定义 要么p,要么q= (p??q)?(?p?q) 否定严格析取律 ? (p?q) ? (p ∧ q) ∨ (?p ∧ ?q) ? (p?q) ? (p?q) 例:父母:“如果你同意嫁给村东的小伙子,就把左手伸出来;如果同意嫁给村西的小伙子,就把右手伸出来。” 女儿考虑半天,把两只手同时从被子里伸了出来。 (二)不相容选言推理 1.否定肯定式(否肯式) p?q, ? p ┣ q 2.肯定否定式(肯否式) p?q,p ┣ ?q 推理规则: 否定一部分肢,则可肯定另一部分肢。 肯定一部分肢,则可否定另一部分肢。 在相声《功夫》中,老范给赵本山出了这样一个题:“过年了,我家只有一头驴和一口猪,你说是先杀猪呢还是先杀驴呢?” 赵本山的一个徒弟说:“先杀驴。”老范说:“恭喜你答对了。猪也是这么想的。” 老范利用不
文档评论(0)