复合命题及其推理下

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

1、第六章复合命题及其推理(下)第一节负命题及其有效推理一、负命题的性质和逻辑形式负命题，否定某个命题的命题。1.“所有金属都是固体”并不合乎事实。负命题——复合命题——否定对象：某个命题；否定命题——简单命题——否定对象：不是命题，而是主项所反映的对象具有谓项所表示的性质。第一节负命题及其有效推理否定支：被否定的那个命题。否定支既可以是简单命题，也可以是复合命题。对后者来说，被否定的是这个复合命题的整体，而不是它的某个或某些支命题。2.并非“或者x大于5，或者x小于5”。第一节负命题及其有效推理语言联结词：“并非……”、“……是假的”、“……不合乎事实”等。否定词：（读作“并非”）否定

2、词通常置于否定支的前面。用命题变项p代表否定支，则负命题的逻辑形式可记为：p（读作“并非p”）第一节负命题及其有效推理二、负命题的逻辑性质及其真值表负命题的逻辑性质：若否定支为真，则相应的负命题为假；若否定支为假，则相应的负命题为真。p是真的，当且仅当p是假的。ppTFFT第一节负命题及其有效推理三、负命题推理的有效式负命题推理：以负命题作为推理的仅有前提或结论，并根据负命题的逻辑性质所进行的演绎推理。（一）性质命题的负命题及其等值推理性质命题的负命题：其支命题为性质命题的负命题。A、E、I和O四种性质命题的负命题分别可以表示A、E、I和O。第一节负命题及其有效推理根据素

3、材相同的性质命题间的对当关系以及负命题的逻辑性质，下面四个性质命题负命题推理形式是有效的：SAPSOPSEPSIPSIPSEPSOPSAP第一节负命题及其有效推理（二）复合命题的负命题及其等值推理复合命题的负命题：其支命题为复合命题的负命题。复合命题的负命题有与之相等值的其他复合命题。这些等值命题对于正确理解自然语言所表达命题的意义极为重要。第一节负命题及其有效推理联言命题的负命题，其命题形式为：（p∧q）5.“物美价廉”是假的。联言命题负命题的等值推理形式为：（p∧q）（p∨q）6.“物美价廉”是假的，这就是说，或者东西不好，或者价格不便宜。第一节负命题及其

4、有效推理相容选言命题的负命题，其命题形式为：（p∨q）7.商品滞销的原因或者是价格高或者是质量次——这不合乎事实。相容选言命题负命题的等值推理形式为：（p∨q）（p∧q）8.商品滞销的原因或者是价格高或者是质量次——这不合乎事实，意思是说，商品滞销的原因既不是价格高也不是质量次。第一节负命题及其有效推理不相容选言命题的负命题，其命题形式为：（pq）9.来的要么是小张要么是小李——可事实根本不是这样的。不相容选言命题负命题的等值推理的有效式为：（pq）（（p∧q）∨（p∧q））10.来的要么是小张要么是小李——可事实根本不是这样的，这就是说，小张和小李都来了，或者

5、小张和小李都没来。第一节负命题及其有效推理充分条件假言命题的负命题，其命题形式为：（pq）11.如果一个人患了SARS，他就会死亡——这显然不是真的。充分条件假言命题的负命题的等值推理的有效式为：（pq）（p∧q）12.如果一个人患了SARS他就会死亡——这显然不是真的，这也就是说，一个人患上了SARS，他可能不会死。必要条件假言命题的负命题，其命题形式为：（pq）13.并非“只有天下雨，地才会湿”。必要条件假言命题的负命题的等值推理的有效式为：（pq）（p∧q）14.并非“只有天下雨，地才会湿”，这就是说，天没有下雨，地也会是湿的。第一节负命题及其有效推理第一

6、节负命题及其有效推理充分必要条件假言命题的负命题，其命题形式为：（pq）充分必要条件假言命题的负命题的等值推理的有效式为：（pq）（（p∧q）∨（p∧q））（pq）第一节负命题及其有效推理负命题的负命题，其命题形式为：p16.“有的金属是液体是假的”——并不是事实。负命题的负命题的等值推理形式为：pp17.“有的金属是液体是假的”——并不是事实，其实就是说，有的金属是液体。第一节负命题及其有效推理由复合命题的负命题的等值推理有效式，还可得其他一些常用的有效推理形式：（pq）（p∨q）（pq）（p∨q）（p∨q）（pq）第二节复合命题推理的推

7、广形式（上）一、纯假言推理1.直接的纯假言推理（假言易位推理）（pq）（qp）（pq）（pq）（pq）（qp）第二节复合命题推理的推广形式（上）2.间接的纯假言推理（假言连锁推理）①充分条件假言连锁推理肯定式（假言三段论）：（pq）∧（qr）（pr）否定式（假言归谬推理）：（pq）∧（qr）（rp）②必要条件假言连锁推理肯定式：（pq）∧（qr）（rp）否定式：（pq）∧（qr）（p