形式逻辑第五章复合命题及其推理(上).ppt

《形式逻辑第五章复合命题及其推理(上).ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、第五章复合判断及其推理（上）第一节复合判断（一）什么是复合判断复合判断，就是在自身中包含着其它判断的判断。复合判断通常由两个或两个以上的简单判断联结而成。例：如果天气好，我们就出去玩。（两个）人具有自然属性，并且具有社会属性。张卫民或者精通英语，或者精通日语，或者精通俄语。并非所有的鱼都是用腮呼吸的。有些更为复杂的复合判断，其中还包含着其他的复合判断。例：理论若不和革命实践相结合，就会变成无对象的理论；实践若不以革命理论为指南，就会变成盲目的实践。（句群）（二）复合判断的基本特征每一个复合判断都

2、是由支判断和联结词构成。支判断就是构成复合判断的判断，用p.q.r.s表示。联结词就是联结支判断以构成一个复合判断的逻辑成分，是逻辑常项。复合判断的逻辑上的真假，是由支判断的真假和逻辑联结词的性质所决定的。（三）复合判断的种类1.联言判断2.选言判断相容选言判断、不相容选言判断3.假言判断充分条件假言判断、必要条件假言判断、充分必要条件假言判断4.负判断简单判断的负判断、复合判断的负判断（三）联言判断及其推理1.什么是联言判断联言判断又称合取判断，就是判定若干事物（两种或两种以上）情况同时存在的

3、判断。例：风又大，雨又猛。小张虽然年轻，但办事相当老练。石拱桥形式优美，并且结构坚固。昆虫吃草，青蛙吃昆虫，蛇吞食青蛙，猫头鹰吃蛇。鲁迅是伟大的文学家，还是伟大的思想家，伟大的革命家。2.联合判断的支判断如果有相同的主项或谓项，表达时常常采取省略形式。例：莱布尼茨是数学家和哲学家。雨果和巴尔扎克都是法国人。3.联合判断的支判断称为联言肢。一个联言判断至少要包含两个联言肢。联合判断的联结词称为联合联结词，可用“并且”来表示。在汉语中并列关系、递进关系、转折关系等的关联词是联言联结词。4.包含两个联

4、言肢的联言判断，其逻辑形式可表示为“p并且q”，合取式为“pq”.5.联言判断的真值真值表表明：p∧q真，当且仅当p和q同真。6.什么是联言推理前提或结论为联言判断，并且根据联言判断的逻辑性质而得出另一个判断的推理。社会主义社会生产目的不再是为了满足剥削者的需要，而是为了满足广大劳动人民物质和文化生活的需要。所以，社会主义社会生产目的是为了满足广大劳动人民物质和文化生活的需要。写文章要讲文法，写文章要讲修辞，写文章要讲逻辑，所以，写文章要讲文法、修辞和逻辑。7.联言推理的基本形式（1）分解式联言

5、推理的分解式就是由联言判断真，推出一个联言肢真的联言推理形式。P并且ｑ所以，P（P∧ｑ）→P陈毅不仅是一位军事家，而且是一位诗人。所以，陈毅是一位诗人。（２）组合式联言推理的组合式就是由全部肢判断真，推出联言判断真时联言推理形式。P，ｑ所以，ｐ并且ｑP，ｑ→P∧ｑ我们要控制人口增长数量；我们要努力提高人口素质，所以，我们不仅要控制人口增长数量，而且要努力提高人口素质。第二节选言判断及其推理选言判断又称析取判断，就是断定事物若干可能情况中只有一种或至少有一种情况存在的判断。例如：①野生动植物或者可

6、供食用，或者可供衣着，或者可供药用，或者可作工业原料，或者可作其它用途。②自然界中的生物要么是植物，要么是动物，要么是微生物。一、相容选言判断及推理相容选言判断是断定事物的多种可能情况至少有一种情况存在并且可以多种情况同时存在的选言判断。例如：张老师或者学过英语，或者学过俄语，或者学过德语。李小明或是共青团员，或是优秀学生。公式是：P或者ｑP∨ｑ。联结词：“……或……”。“可能……也可能……”、“也许……也许……”等表达。相容选言判断的各个选言肢所断定的情况是可以并存的。在相容选言判断中，只有它

7、的选言肢全假时，它才是假的；除此之外，选言肢有一个或者全真，它才是真的。相容选言判断的真值表如下：相容选言推理就是前提是相容选言判断的选言推理。从相容选言判断的真值表可知，一个真的相容选言判断至少有一个选言肢是真的。因此，当一个以外的选言肢都假，该剩余一的选言肢必真。但一个选言肢为真时，其余的选言肢真假不定。由此可见，相容选言推理的规则有两条：（1）否定一个以外的选言肢就能肯定这个选言肢。（2）肯定一部分选言肢不能否定另一部分选言肢。相容选言推理否定肯定式（唯一的有效形式）的公式是：P或ｑ，非P

8、，所以ｑ。符号表示为：（P∨ｑ）∧┐P→ｑ例：这种飞禽或者吃种子，或者吃昆虫，这种飞禽不吃种子，所以，这种飞禽只吃昆虫。根据推理规则，肯定否定式是无效式。例：小芳或者爱好体育，或者爱好文娱。小芳爱好体育运动。（不能必然推出小芳不爱好文娱）二、不相容选言判断及其推理不相容选言判断是反映事物多种可能情况有且只有一种情况存在的选言判断。例如：一个人的血型要么A型，要么是Ｂ型，要么是O型，要么是ＡＢ型。一个数字，或者大于零，或者小于零，或者等于零。公式：要么P，要么ｑ。符号：Ｐ∨ｑ。联结词：“要么……要