性质命题及其推理

《性质命题及其推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章简单命题及其推理性质命题的概述三段论命题变形推理对当关系推理第一节性质命题概述一、什么是性质命题(一)定义反映对象是具有或不具有某种性质的命题。在性质命题中所作的断定是直接的，因此也叫做直言命题。所有的小孩子吃饭时都是不应该讲话的这破帽子是给别人看的(二)结构对象反映为命题的主项S性质反映为命题的谓项P具不具有反映为命题的联项是，不是量反映为主项的量项(词)这个,所有,有些单称全称特称(全称)量项联项主项谓项所有的小孩子吃饭时是不应该讲话的所有(这个，有些)S是(不是)P一般形式：逻辑学中的“有的”量词“有的”在普通逻辑中的含义是作为“至少有一个，至多全部”

2、来理解的。客观上它可以是“有一个”、“有几个”、“绝大多数”乃至“全部”。这里的“有的”仅仅是表示“存在”或“有”的意思，因此，特称命题也叫存在命题。而日常语言中，“有些”是作为“仅仅有些”来理解的，当我们说“有的S是P”时，往往就意味着“有的S不是P”。二、性质命题的种类1.按性质命题的质不同来分肯定命题：反映对象具有某种性质的命题。天才是一分灵感加上九十九分汗水。形式：s是p否定命题：反映对象不具有有某种性质的命题。冥王星不是大行星。形式：s不是p2.按性质命题的量不同来分(1)单称命题：反映某一个别对象具有或不具有某种性质的命题。新加坡不是大陆国家。形式：某

3、个S是(不是)P(2)特称命题：是反映某一个别对象具有或不具有某种性质的命题。有的鸟不会飞。形式：有的S是(不是)P(3)全称命题：反映某一类中的每一个对象有或不具有某种性质的命题。所有的被子植物不是裸子植物。形式：所有S是(不是)P3.按命题质和量的结合来分性质命题的量词有三种，联项有二种，组合可形成六种性质命题形式：所有S是P全称肯定命题SAPA所有S不是P全称否定命题SEPE有些S是P特称肯定命题SIPI有些S不是P特称否定命题SOPO这S是P单称肯定命题SUPU这S不是P单称否定命题SVPV单称和全称都是断定一个主项外延的全部，所以常把单称划归为全称，因此

4、，六种命题就成为四种：A.E、I、O三、性质命题的真假关系SSPPPSPSPSA真，E假，I真，O假A真，E假，I真，O假A假，E假，I真，O真A假，E假，I真，O真A假，E真，I假，O真将此整理为教科书p159的表性质命题其实就是断定了主项S和谓项P两个概念外延之间的关系。而任意两个概念外延的关系，可用欧拉图来分析。这样，我们就可以利用欧拉图来确定A.E、I、O之间的真假关系(一)性质命题主谓项之间的关系可用文恩图解来刻画AEIO命题请将AEIO对号入座：PSPSPSPSIS∩P≠0AS∩P'=0ES∩P＝0OS∩P'≠0PSSSPP+SP+SP+方框：论域；二

5、个相交的圆：S、P；阴影(表示空集)；十字号(表示存在)SP21341=S'∩P'2=S∩P'3=S∩P4=S'∩P(二)性质命题的真假关系1.A命题(所有S都是P)A命题断定了S类的所有分子都是P类的分子。如果S和P具有同一或真包含于关系时，那么A命题真；如果S和P具有真包含关系、交叉关系和全异关系时，A命题为假。例如：凡马铃薯都是土豆。(同一关系)真金属是热胀冷缩的。(真包含于关系)真凡犯罪都是故意犯罪。(真包含关系)假所有科学家都是受过正规教育的。(交叉关系)假所有的鲸都是鱼。(全异关系)假2.E命题(所有S都不是P)E命题断定了S类的所有分子都不是P类的分

6、子。如果S和P具有全异关系时，那么E命题真；如果S和P具有同一关系、真包含于关系、真包含关系和交叉关系时，E命题为假。例如：所有犯罪行为都不是合法行为。(全异关系)真东京不是日本的首都。(同一关系)假凡恒星都不是发光的。(真包含于关系)假所有青年都不是共青团员。(真包含关系)假所有诗人都不是政治家。(交叉关系)假3.I命题(有的S是P)I命题断定了S类中的有的分子同时也是P类的分子。如果S和P具有全异关系时，那么I命题假；如果S和P具有同一关系、真包含于关系、真包含关系和交叉关系时，那么I命题真。例如：有的犯罪行为是不合法行为。(全异关系)假有的商品是用于交换的劳

7、动产品。(同一关系)真有的恒星是发光的。(真包含于关系)真有的青年是共青团员。(真包含关系)真有的诗人是政治家。(交叉关系)真4.O命题(有的S不是P)O命题断定了S类中的有的分子不是P类的分子。如果S和P具有真包含关系、交叉关系和全异关系时，那么O命题真；如果S和P具有同一关系、真包含于关系时，那么O命题假。例如：有的马铃薯不是土豆。(同一关系)假有的金属不会热胀冷缩。(真包含于关系)假有的犯罪不是故意犯罪。(真包含关系)真有的科学家不是受过正规教育的。(交叉关系)真有的鲸不是鱼。(全异关系)真四、性质命题的对当关系1.反对关系A-E命题之间的关系就是反对关系，

8、它们之间既