性质命题简单命题法律逻辑学教学课件

《性质命题简单命题法律逻辑学教学课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第4章性质命题______简单命题本章主要内容：性质命题概述性质命题的逻辑特征性质命题的隐含命题及其揭示隐含命题的逻辑方法第一节性质命题的概述性质命题与关系命题性质命题：又叫直言命题，是直接断定对象具有或不具有某种性质的命题。一般形式为：量词+主词+系词+谓词结构形式：所有（或有的）S是（或不是）P其中量词和系词决定直言命题的性质，为逻辑常项，主词S和谓词P为逻辑变项关系命题概念：是断定事物之间关系的命题，是由关系主词、关系谓词和量词三部分组成的。性质：1．关系的对称性1）对称关系：如果aRb成立，那么bRa也一定成立2）反对

2、称关系：如果aRb成立，那么bRa一定不成立3）非对称关系：如果aRb成立，那么bRa可能成立，也可能不成立2．关系的传递性传递关系：如果aRb，并且bRc成立，那么aRc也一定成立反传递关系：如果aRb，并且bRc成立，那么aRc一定不成立非传递关系：如果aRb，并且bRc成立，那么aRc可能成立，可能不成立下列各句是什么关系命题：社会存在决定社会意识。反对称关系命题小方是大方的儿子，大方是老方的儿子。反传递关系命题2加2等于2乘2对称性关系命题A明星队被B联队战败，B联队被C俱乐部队战败非传递性关系命题篆书早于隶书和楷书反

3、对称性关系命题扬州在上海以北，上海在杭州以北传递性关系命题我们都佩服学术上有成就的人非对称性关系命题A支持B，B支持C非传递性关系命题性质命题的基本类型全称肯定命题：A全称否定命题：E特称肯定命题：I特称否定命题：O单称肯定命题：a单称否定命题：e第二节性质命题的逻辑特征性质命题词项的周延性指在直言命题中对主词、谓词外延数量的断定情况。如果全部外延都得到断定，就叫周延；否则，就叫不周延。主词的周延性是受量词制约的，即该命题是否为全称命题；谓词的周延性是受系词制约的，及该命题是否为否定命题。性质命题真假的判定以及不同性质命题之间

4、的逻辑关系性质命题真假的判定——A、E、I、O的真假情况矛盾关系：不可同真，也不可同假的关系，SAP与SOP，SEP与SIP均是反对关系：不可同真，但可同假的关系，SAP与SEP即是下反对关系：可以同真，但不可同假的关系，SIP与SOP即是差等关系：可以同真，也可以同假的关系，SAP与SIP，SEP与SOP均是性质命题之间的真假关系—对当关系I下反对关系OA反对关系E差等关系差等关系矛矛盾盾关系系A.已知下列命题形式的真假，请根据对当关系,指出其他三种命题形式的真假情况：已知A假则O真，E和I可真可假已知E真则A和I假，O真已

5、知I真则E假，A和O可真可假已知O假则A和I真，E假B．已知下列命题的真假，请根据对当关系，指出素材相同的其他三种命题的真假情况已知"全村各户都装上程控电话"为真。分析：已知A真。据矛盾关系"全村有的用户没有装上程控电话"（O）假；据反对关系"全村各户都没有装上程控电话"（E）假。据差等关系"全村有的用户装上程控电话"（I）真。已知"这批产品都不是销往外国的"为假分析：已知E假。据矛盾关系，"这批产品中有些产品是销往外国"（I）真；据反对关系，"这批产品都是销往外国的"（A）可真可假；据差等关系"这批产品中有些产品不是销往外国

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

7、与P是全异关系时，SAP假。证毕。②SOP真则SEP可真可假证明：据已知，S与P具有真包含关系，交叉关系和全异关系；当S与P是全异关系时，SEP真，当S与P是交叉关系和真包含关系时，SEP假；证毕。2．已知矛盾关系和反对关系成立，求证：①下反对关系成立证明：根据矛盾关系，如果SIP真，则SEP假；根据反对关系，SEP假，则SAP真假不定；根据矛盾关系，SOP也真假不定根据矛盾关系，如果SIP假，则SEP真；根据反对关系，SEP真，则SAP假；根据矛盾关系，SAP假，则SOP真。可见，SIP与SOP是可以同真，不能同假的关系，即

8、下反对关系。②差等关系成立证明：如果SAP真，由反对关系，得SEP假，再由矛盾关系，从SEP假得SIP真。如果SAP假，由反对关系，得SEP真假不定，再由矛盾关系，从SEP真假不定，得SIP真假不定。如果SIP真，由矛盾关系，得SEP假；再由反对关系，从SEP假得SAP真假不