复合命题推理课件.pptVIP

  1. 1、本文档共42页,可阅读全部内容。
  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)定义:分解式就是由前提中的联言命题为真,推出其任一支命题为真的推理。

所以,p(p∧q)→p(p∧q)→q

(1)定义:组合式就是由前提中的全部命题为真,推出以这些命题为支命题的联言命题为真的推理。

选言推理一、定义选言推理就是前提中有一个是选言命题,并且根据选言命题的逻辑性质进行推演的推理。二、类型(一)相容选言推理1.定义:相容选言推理就是前提中有一个相容选言命题的选言推理。

2.推理规则:第一,否定了一部分选言支,就要肯定另一部分选言支。第二,肯定了一部分选言支,不能肯定或否定另一部分选言支。3.推理形式:否定肯定式p或者q并非pp或者q并非q所以,q所以,p其符合化公式:(p∨q)∧¬p→q(p∨q)∧¬q→p

(二)不相容选言推理1.定义:不相容选言推理就是前提中有一个不相容选言命题的选言推理。2.推理规则:第一,否定一部分选言支,就要肯定另一部分选言支。第二,肯定一部分选言支,就要否定另一部分选言支。

3.推理形式:(1)否定肯定式要么p,要么q要么p,要么q并非q并非p所以,q所以,p其符合化公式:·((p∨q)∧¬p)→q·((p∨q)∧¬q)→p

(2)肯定否定式要么p,要么q要么p,要么qqp所以,并非q所以,并非p其符合化公式:·((p∨q)∧p)→¬q·((p∨q)∧q)→¬p

假言推理一、定义假言推理就是前提中有一个假言命题,并且根据假言命题的逻辑性质进行推演的推理。二、类型(一)假言换位推理1.定义:假言换位推理是指以某种类型的假言命题作前提,通过其前后件的换位进而得出另一种类型的假言命题的推理。

2.推理规则:第一,前后件交换位置。第二,充分条件假言命题联结项和必要条件假言命题联结项相互变换。3.类型:(1)充分条件换位推理如果p,那么q所以,只有q,才p其符号化公式:(p→q)→(q←p)

(2)必要条件换位推理只有p,才q所以,如果q,那么p其符号化公式:(p←q)→(q→p)(二)假言直言推理1.定义:假言直言推理是一个前提为假言命题,另一个前提和结论为直言命题,并且根据条件命题的逻辑性质而推演的假言推理。

2.类型:(1)充分条件直言推理Ⅰ推理规则:第一,肯定前件就要肯定后件,否定后件就要否定前件。第二,否定前件不能否定后件,肯定后件不能肯定前件。

Ⅱ推理形式:A.肯定前件式如果p,那么qp所以,q其符号化公式:((p→q)∧p)→q

B.否定后件式如果p,那么q非q所以,非p其符号化公式:((p→q)∧¬q)→¬p

(2)必要条件直言推理Ⅰ推理规则:第一,否定前件就要否定后件,肯定后件就要肯定前件。第二,肯定前件不能肯定后件,否定后件不能否定前件。Ⅱ推理形式:A.否定前件式只有p,才q非p所以,非q

其符号化公式:((p←q)∧¬p)→¬qB.肯定后件式只有p,才qq所以,p其符号化公式:((p←q)∧q)→p

(3)充要条件直言推理Ⅰ推理规则:第一,肯定前件就要肯定后件,肯定后件就要肯定前件。第二,否定前件就要否定后件,否定后件就要否定前件。Ⅱ推理形式:A.肯定前件式当且仅当p,才qp所以,q

其符号化公式:((p?q)∧p)→qB.肯定后件式当且仅当p,才qq所以,p其符号化公式:((p?q)∧q)→p

C.否定前件式:当且仅当p,才q非p所以,非q其符号化公式:((p?q)∧¬p)→¬qD.否定后件式:当且仅当p,才q非q所以,非p其符号化公式:((p?q)∧¬q)→¬p

(三)假言连锁推理1.定义:假言连锁推理就是以两个以上具有内在联系的假言命题作前提,推出另一个假言命题作结论的推理。2.特点:前提中的前一个假言命题的后件跟后一个假言命题的前件相同。

3.类型:(1)充分条件连锁推理A.肯定式如果p,那么q如果q,那么r所以,如果p,那么r其符号化公式:((p→q)∧(q→r))→(p→r)

B.否定式如果p,那么q如果q,那么r所以,如果并非r,那么并非p其符号化公式:((p→q)∧(q→r))→(¬r→¬p)

(2)必要条件连锁推理A.否定式只有p,才q只有q,才r所以,如果并非p,那么并非r其符号化公式:((p←q)∧(q←r))→(¬p→¬r)

B.肯定式只有p,才q只有q,才r所以,如果r,那么p其符号化公式是:((p←q)∧(q←r))→(r→p)

负命题推理一、定义负命题推理又称负命题等值推理,它是前提为负命题,结论为该负命题的等值命题的一种复合命题推理。二、类型(一)性质命题的负命题推理1.¬SAP→SOP2.¬SEP→SIP3.¬SIP→SEP4.¬SOP→SAP

(二)联言命题的负命题推理1.定义:联言命题的负命题推理就是以联言命题的负

您可能关注的文档

文档评论(0)

133****6142 + 关注
官方认证
文档贡献者

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

认证主体成都美鑫可研科技文化有限公司
IP属地四川
统一社会信用代码/组织机构代码
91510100MADHJ0RX18

1亿VIP精品文档

相关文档