第4章-性质命题-简单命题-法律逻辑学-教学课件.ppt

《第4章-性质命题-简单命题-法律逻辑学-教学课件.ppt》由会员分享，可在线阅读，更多相关《第4章-性质命题-简单命题-法律逻辑学-教学课件.ppt（46页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第第4章章 性质命题性质命题 _ 本章主要内容本章主要内容：性质命题概述性质命题概述 性质命题的逻辑特征性质命题的逻辑特征性质命题的隐含命题及其性质命题的隐含命题及其 揭示隐含命题的逻辑方法揭示隐含命题的逻辑方法第一节第一节 性质命题的概述性质命题的概述 q性质命题与关系命题性质命题与关系命题 性质命题：性质命题：v又叫又叫直言命题直言命题，是直接断定对象具有或不具有某种，是直接断定对象具有或不具有某种性质的命题。性质的命题。v一般形式一般形式为：量词为：量词+主词主词+系词系词+谓词谓词v结构形式结构形式：所有（或有的）：所有（或有的）S S是（或不是）是（或不是）P Pv其中其中量词量词和

2、和系词系词决定直言命题的性质，为决定直言命题的性质，为逻辑常项逻辑常项，主词主词S S和和谓词谓词P P为为逻辑变项逻辑变项 关系命题关系命题v概念概念：是：是断定事物之间关系断定事物之间关系的命题，是由的命题，是由关系主词关系主词、关系谓词关系谓词和和量词量词三部分组成的。三部分组成的。v性质性质：1 1关系的对称性关系的对称性 1 1）对称关系对称关系：如果如果aRbaRb成立，那么成立，那么bRabRa也一定成立也一定成立 2 2）反对称关系反对称关系：如果：如果aRbaRb成立，那么成立，那么bRabRa一定不成立一定不成立 3 3）非对称关系：非对称关系：如果如果aRbaRb成立，那

3、么成立，那么bRabRa可能成立，可能成立，也可能不成立也可能不成立下列各句是什么关系命题：下列各句是什么关系命题：v社会存在决定社会意识。社会存在决定社会意识。反对称关系命题 v小方是大方的儿子，大方是老方的儿子。小方是大方的儿子，大方是老方的儿子。反传递关系命题反传递关系命题v2 2加加2 2等于等于2 2乘乘2 2 对称性关系命题对称性关系命题v篆书早于隶书和楷书篆书早于隶书和楷书 反对称性关系命题反对称性关系命题 v扬州在上海以北，上海在杭州以北扬州在上海以北，上海在杭州以北 传递性关系命题传递性关系命题 vA A支持支持B B，B B支持支持C C 非传递性关系命题非传递性关系命题

4、第二节第二节 性质命题的逻辑特征性质命题的逻辑特征性质命题词项的周延性v指在直言命题中对主词、谓词外延数量的断定情况。如果全部外延都得到断定，就叫周延；否则，就叫不周延。v主词的周延性是受量词制约的，即该命题是否为全称命题；谓词的周延性是受系词制约的，及该命题是否为否定命题。性质命题真假的判定以及不同性性质命题真假的判定以及不同性质命题之间的逻辑关系质命题之间的逻辑关系 性质命题真假的判定性质命题真假的判定AA、E E、I I、O O的真假的真假情况情况 v矛盾关系：矛盾关系：不可同真，也不可同假的关系，不可同真，也不可同假的关系，SAPSAP与与SOPSOP，SEPSEP与与SIPSIP均是

5、均是v反对关系反对关系：不可同真，但可同假的关系，：不可同真，但可同假的关系，SAPSAP与与SEPSEP即是即是v下反对关系下反对关系：可以同真，但不可同假的关系，：可以同真，但不可同假的关系，SIPSIP与与SOPSOP即是即是v差等关系：差等关系：可以同真，也可以同假的关系，可以同真，也可以同假的关系，SAPSAP与与SIPSIP，SEPSEP与与SOPSOP均是均是A.A.已知下列命题形式的真假，请根已知下列命题形式的真假，请根据对当关系据对当关系,指出其他三种命题形式指出其他三种命题形式的真假情况：的真假情况：已知已知A A 假假 则O真，E和I可真可假 已知已知E E真真 则A和I

6、假，O真 已知已知I I真真 则E假，A和O可真可假 已知已知O O 假假 则A 和I真，E假 B B已知下列命题的真假，请根据对已知下列命题的真假，请根据对当关系，指出素材相同的其他三种命当关系，指出素材相同的其他三种命题的真假情况题的真假情况 q已知已知 全村各户都装上程控电话全村各户都装上程控电话 为真。为真。分析：分析：已知A真。据矛盾关系全村有的用户没有装上程控电话（O）假；据反对关系全村各户都没有装上程控电话（E）假。据差等关系全村有的用户 装上程控电话（I）真。v已知已知 有的街道很多垃圾有的街道很多垃圾 为假为假 分析：已知I假。据差等关系，所有的街道都有很多垃圾的（A）假；据

7、矛盾关系，所有的街道都不是有很多垃圾的（E）真；据下反对关系，有的街道不是有很多垃圾的（O）真。v已知已知 有的足球教练不是中国人有的足球教练不是中国人 为真。为真。分析：已知O真。据矛盾关系，所有的足球教练都是中国人（A）假，据差等关系所有的足球教练都不是中国人（E）可真可假；据下反对关系有的足球教练是中国人（I）可真可假。v C C证明题证明题 根据根据S S与与P P的外延关系，求证：的外延关系，求证：SIPSIP假则假则SAPSAP假假 证明：据已知，得出S与P只能是全异关系，当S与P是全异关系时，SAP假。证毕。v2 2已知矛盾关系和反对关系成立，已知矛盾关系和反对关系成立，求证：求

8、证：下反对关系成立下反对关系成立证明：根据矛盾关系，如果SIP真，则SEP假；根据反对关系，SEP假，则SAP真假不定；根据矛盾关系，SOP也真假不定根据矛盾关系，如果SIP假，则SEP真；根据反对关系，SEP真，则SAP假；根据矛盾关系，SAP假，则SOP真。可见，SIP与SOP是可以同真，不能同假的关系，即下反对关系。v差等关系成立差等关系成立证明：如果SAP真，由反对关系，得SEP假，再由矛盾关系，从SEP假得SIP真。如果SAP假，由反对关系，得SEP真假不定，再由矛盾关系，从SEP真假不定，得SIP真假不定。如果SIP真，由矛盾关系，得SEP假；再由反对关系，从SEP假得SAP真假不

9、定。如果SIP假，由矛盾关系，得SEP真；如果SEP真，由反对关系，得SAP假。可见SAP与SIP是可以同真，也可以同假的关系，即差等关系。揭示性质命题的隐含命题的逻辑方法揭示性质命题的隐含命题的逻辑方法 换质法换质法 改变直言命题的质的方法。改变直言命题的质的方法。v规则规则1 1：改变前提的质：改变前提的质v规则规则2 2：结论中的谓词是前提中谓词的矛盾概：结论中的谓词是前提中谓词的矛盾概念念 换位法换位法 改变直言命题主谓词位置的方法改变直言命题主谓词位置的方法v规则规则1 1：改变前提主谓词位置：改变前提主谓词位置v规则规则2 2：前提中不周延的词项在结论中也不：前提中不周延的词项在结

10、论中也不得周延得周延A.A.揭示下列命题的隐含命题，先换质再换位，揭示下列命题的隐含命题，先换质再换位，不能再换就停止不能再换就停止 有的飞行员不是男的。有的飞行员不是男的。换质：有的飞行员是女的。换质：有的飞行员是女的。换位：换位：有的女的是飞行员。有的女的是飞行员。v凡直接推理都是演绎推理凡直接推理都是演绎推理 换质：凡直接推理都不是非演绎推理换质：凡直接推理都不是非演绎推理 换位：凡非演绎推理都不是直接推理换位：凡非演绎推理都不是直接推理 有些野蘑菇是有毒的有些野蘑菇是有毒的 换质：有些野蘑菇不是无害的。换质：有些野蘑菇不是无害的。v教师都不是文盲教师都不是文盲 v换质：换质：教师都是非

11、文盲教师都是非文盲 换位：有的非文盲是教师。B.B.揭示下列命题的隐含命题，先换位再换揭示下列命题的隐含命题，先换位再换质，不能再换就停止质，不能再换就停止 v凡文学作品都是反映社会生活的凡文学作品都是反映社会生活的 v换位：换位：有的反映社会生活的是文学作品有的反映社会生活的是文学作品 换质：有的反映社会生活的不是非文学作品 v所有行星都不是发光的星球所有行星都不是发光的星球 v换位：换位：所有发光的星球都不是行星所有发光的星球都不是行星 换质：所有发光的星球都是非行星换质：所有发光的星球都是非行星 v有些罪犯是贪污犯有些罪犯是贪污犯 换位：换位：有些贪污犯是罪犯有些贪污犯是罪犯 换质：换质

12、：有些贪污犯不是非罪犯有些贪污犯不是非罪犯 YC.C.运运用用隐隐含含命命题题知知识识说说明明下下列列推推理理或或其形式是否成立其形式是否成立 v成立。成立。不劳动者不得食不劳动者不得食 换位得：换位得：得食者不是得食者不是不劳动者不劳动者。再换质得：。再换质得：得食者是劳动者得食者是劳动者 再换位再换位得：得：有的劳动者是得食者有的劳动者是得食者。与这一特称肯定命题。与这一特称肯定命题矛盾的矛盾的 劳动者不得食劳动者不得食 假，即假，即 并非劳动者不得食并非劳动者不得食。不劳动者不得食，所以，并非劳动者不得食不劳动者不得食，所以，并非劳动者不得食 l学学生生都都是是要要读读书书的的，所所以以

13、，有有些些不不要要读读书的不是学生书的不是学生 v成立。成立。学生都是要读书的学生都是要读书的 换质得换质得 学生都不是学生都不是不要读书的不要读书的 再换位得再换位得 不要读书的不是学生不要读书的不是学生 这一这一全称否定命题真，相应的特称否定命题全称否定命题真，相应的特称否定命题 有些不要有些不要读书的不是学生读书的不是学生 真。真。u有有些些学学生生不不是是青青年年，所所以以，所所有有青青年年都都是学生是学生 为假为假 v不成立。从不成立。从 所有青年都是学生所有青年都是学生 为假可以得出为假可以得出 有些青年不是学生有些青年不是学生，而特称否定命题不能换位。，而特称否定命题不能换位。先

14、换质后换位也不能得出以先换质后换位也不能得出以 青年青年 为主词的命题。为主词的命题。有有些些推推理理是是合合乎乎逻逻辑辑的的，所所以以，有有些些不不合乎逻辑的不是推理。合乎逻辑的不是推理。v不成立。不成立。先换质后得到特称否定命题不能换位。先换质后得到特称否定命题不能换位。先换位也得不到以先换位也得不到以 不合乎逻辑的不合乎逻辑的 为主词的命题。为主词的命题。zSAPPASSAPPAS v成立。成立。推理过程为：推理过程为：SAP SEPPESPASSAP SEPPESPAS。ZSEPPISSEPPIS v成立。成立。推理过程为：推理过程为：SEPPESPASPISSEPPESPASPIS|SOP（PAS）v成立。成立。推理过程为：推理过程为：SOPSIPPIS SOPSIPPIS POSPOS（PASPAS）