- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
复合命题及其推理(上)
第五章 复合命题及其推理(上)
第一节 联言命题及其推理
什么是联言命题?
联言命题又称合取命题,是断定几种情况同时,存在的复合命题。
例子:穷人吃不饱是苦,
富人吃不了也是苦。
结构公式:“p并且q”
符号表示:“p∧q”(“∧”读作“合取”)
语言表达形式:“p也q”、“既p又q”、“p并且q”、“不但p而且q”、“虽然p但是q”、
“不是p而是q”、“是p而不是q”、“…和…”
联言命题的真假
所有联言支真,则联言命题真;
有一联言支假,则联言命题假。
学习时注意:
各支命题间不能自相矛盾。
2.逻辑中联言命题的真假与支命题的顺序无关。
3.逻辑中不要求各联言支之间在内容上一定有联系。
三、联言推理
指前提或结论是联言命题的推理。
联言推理是根据联言命题与联言支之间的逻辑关系推演的。
联言推理两种正确式:
1、[分解式]:联言推理的分解式是由联言命题真,推出其支命题真的推理。
结构公式:“p并且q,所以,p”
符号表示:”(p∧q)→p”
[组合式]:联言推理的组合式是由全部支命题真推出联言命题真的推理。
结构公式:“p,q所以,p并且q.”
符号表示:“(p,q)→(p∧q)”
第二节 选言命题及其推理
一、什么是选言命题?
选言命题是断定事物的几种可能情况中有情况存在的复合命题。
例子:要么你换块手表,要么我把你换掉。
胜者或者因其强,或者因其指挥无误。
二、选言命题的种类
(一)、相容选言命题:
断定事物的几种可能情况中至少有一种情况存在的选言命题。
结构公式:“p或者q”
符号表示:“p∨q” (“∨”读作“相容析取”或读作“或者”)
语言表达:“或者p,或者q”、“也许p,也许q”、“可能p,也可能q”
【真假】:有一支命题真,则相容选言命题真; 所有支命题假,则相容选言命题假。
(二)、不相容选言命题:
断定事物的几种可能情况中只能有一种情况存在的选言命题。
结构公式:“要么p,要么q”
符号表示: “ Pq”“”(读作“不相容析取”、“强析取”或读作“要么,要么”)
语言表达:“要么p,要么q”、“不是p,就是q”、“或者p,或者q两者不可得兼”(或二者必居其一)。
【真假】:有而且只有一支命题真,则不相容选言命题真;
有两个或两个以上支命题真或支命题都假时,不相容选言命题假。
选言命题恰当性的要求
1.应穷尽一切可能情况
2.分清两种选言命题
共同点:不能都假,必有一真。
不同点:相容选言命题选言支可以同真,不相容选言命题选言支不能同真。
区别选言命题和联言命题
联言命题断定几种情况同时存在,
选言命题断定几种情况有情况存在。
联言命题支命题必须都真,不许一假,
相容选言命题支命题可以都真,允许一假
“不是…而是…”表达的是联言命题,
“不是…就是…”表达的是不相容选言命题。
选言推理
选言推理是以选言命题为一般性前提,并且根据选言命题的逻辑特性推出结论的推理。
构成:第一个前提是选言命题,第二个前提是由选言支组成的性质命题或联言命题。
☆(一)、相容选言推理
否定肯定式:
结构公式:“p或者q, 非p,所以,q”
符号表示:“[(p∨q)∧┐p]→q”
规则:(1)否定一部分选言支,就要肯定剩下的那一个选言支。(因为至少有一个选言支真。)
(2)肯定一部分选言支,不能否定另一部分选言支,违则犯“肯定否定”的逻辑错误。(因为选言 支可以同真。)
☆(二)不相容选言推理
由不相容选言命题及其支命题为前提的选言推理。
否定肯定式
前提中否定了不相容选言命题中某个选言支以外的选言支,结论则肯定那个未被否定的选言支。
结构公式:“要么p,要么q,非p,所以,q”
符号表示:“[(pq)∧┐p]→q”
2.肯定否定式
前提中肯定不相容选言命题中的一个选言支,结论则否定余下的选言支。
结构公式:“要么p,要么q,p,所以,非q”
符号表示:“[(p∨q)∧p]→┐q”
规则:(1)否定一部分选言支,就要肯定剩下的一个选言支。(因为必须有一个选言支真。)
(2)肯定一个选言支,就要否定剩下部分选言支。(因为只能有一个选言支真。)
假言命题及其推理
假言命题
假言命题是断定一情况是另一情况存在的条件的复合命题。
例:如果摩擦物体,物体就会生热。
只有刻苦努力,才能学好功课。
前件:表示条件的
文档评论(0)