- 1、本文档共76页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第二章 复合命题及其推理 第一节 命题和推理概述 一、命题、判断与语句 (一)命题 命题是通过语句来反映事物情况的思维形式。 命题的主要特征:命题有真假。 (二)判断 判断就是被断定了的命题。 判断的主要特征:有所断定。 (三)语句 语句是一组表示事物情况的声音或笔画。 命题与语句之间的关系:既有联系也有区别。 二、命题形式及其种类 1、命题形式 命题形式是指命题内容的 联系方式,即命题的逻辑形式。 所有S都是P 如果p,那么q 2、命题形式的种类:(1)简单命题和复合命题。(2)模态命题和非模态命题 简单命题又包括:性质命题和关系命题 复合命题又包括:联言命题、选言命题、 假言命题和负命题 三、推理及其分类 1、推理的定义:推理是一个命题序列,它是从一个或几个已知命题推出一个新命题的思维形式。 2、推理的结构:前提、结论 3、推理的分类: 必然性推理:“前提与结论之间具有蕴涵关系” 或然性推理:“前提与结论之间没有蕴涵关系” 演绎推理(从一般到特殊) 归纳推理(从特殊到一般) 类比推理(从特殊到特殊) ? 第二节 联言命题及其推理 一、联言命题 1、定义:联言命题是反映若干事物情况同时存在的命题。 例如:某商品价廉并且物美 2、公式:P并且q p ∧ q(“P”和“q”表示肢命题,“并且”表示联结词。也可以用“∧”合取符号表示“并且” ) 在现代汉语中并列复句、递近复句、转折复句、连贯复句都表达联言命题。 二、联言命题的逻辑值 1、联言命题的真值表 2、联言命题的逻辑特征:只有当每一个肢命题同时为真时,联言命题才真。否则就假。 三、联言命题的省略形式 1、复合谓项联言命题 2、复合主项联言命题 3、复合主谓项联言命题 四、联言推理 联言推理是前提或结论为联言命题的推理。 联言推理的有效式 1、分解式 p并且q 所以,p (p ∧ q) p 四、联言推理 2、组合式 p q 所以, p 并且q (p,q) p ∧q 第三节 选言命题及其推理 一、选言命题 1、定义 选言命题是反映若干可能事物情况至少有一个存在的命题。 2、种类 (一)相容选言命题 (二)不相容选言命题 (一)相容选言命题 相容选言命题就是选言肢可以同真的选言命题。 公式 p或者q p∨q (“P”和“q”表示肢命题,“或者”表示联结词。也可以用“∨”析取符号表示“或者” ) 在现代汉语中相容选言命题的联结词还可表达为:“可能……也可能……”,“也许……也许……” 相容选言命题的逻辑值 1、相容选言命题的真值表 2、相容选言命题的逻辑特征:只有当每一个肢命题同时为假时,相容选言命题才假。否则就真。 (二)、不相容选言命题 定义:不相容选言命题就是选言肢不能同真的选言命题。 公式 : 要么p,要么q p∨q (“P”和“q”表示肢命题,“要么……要么……”表示联结词。也可以用 “∨”不相容析取符号表示“要么……要么”) 在现代汉语中不相容选言命题的联结词还可表达为:“不是……就是……”,“宁可……也不……”,“或者……或者……二者不可兼得”。 不相容选言命题的逻辑值 1、不相容选言命题的真值表 2、不相容选言命题的逻辑特征:有且仅有一个肢命题为真时,不相容选言命题才真。否则就假。 二、选言推理 选言推理是前提中有一个是选言命题,并且根据选言命题的逻辑特征进行的推理。 选言推理可分为两类: (一)、相容选言推理。 (二)、不相容选言推理。 (一)、相容选言推理 1、定义:相容选言推理是前提中有一个是相容选言命题,并根据相容选言命题的逻辑特征进行的推理。 2、规则:(1)否定一部分选言肢,就要肯定另一部分选言肢。 (2)肯定一部分选言肢,不能否定另一部分选言肢。 相容选言推理的有效式 否定肯定式:(小前提否定一个选言肢,结论肯定另一个选言肢) p或者q 非p 所以, q ((p∨q) ∧? p) → q (二)、不相容选言推理 1、定义:不相容选言推理就是前提中有一个是不相容选言命题,并根据不相容选言命题的逻辑特征进行的推理。 2、规则:(1)肯定一个选言肢,就要否定其它的选言肢。 (2)否定一个选言肢以外的选言肢,就要肯定余下的那个
文档评论(0)