第五章 命题的判断及方法.ppt

《第五章 命题的判断及方法.ppt》由会员分享，可在线阅读，更多相关《第五章 命题的判断及方法.ppt（24页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第五章第五章 命题的判断及方命题的判断及方法法 一一.教学重点教学重点:真值表方法及其运用真值表方法及其运用二二.教学难点教学难点:归谬赋值法归谬赋值法三三.教学主要内容教学主要内容:一一.真值形式真值形式一个复合命题的真假主要取决于支命题的真一个复合命题的真假主要取决于支命题的真假，但它并不能完全取决于支命题的真假。假，但它并不能完全取决于支命题的真假。如果支命题之间缺乏必要的意义上的联系，如果支命题之间缺乏必要的意义上的联系，人们是很难考虑并断定该复合命题的真假人们是很难考虑并断定该复合命题的真假的。如：的。如：如果如果2+3=5，那么上海就在中国的东部。，那么上海就在中国的东部。因此，人

2、们在日常思维中，除了考虑其支因此，人们在日常思维中，除了考虑其支命题的真假外，还必须考虑支命题之间是命题的真假外，还必须考虑支命题之间是否存在着某些其它方面的联系。把命题的否存在着某些其它方面的联系。把命题的真假称为真假称为“真值真值”，把支命题在真假方面，把支命题在真假方面的联系称为真值联系。命题是由命题连接的联系称为真值联系。命题是由命题连接词和命题形式组成的，词和命题形式组成的，把由真值联结词和把由真值联结词和命题变项所构成的形式称为真值形式命题变项所构成的形式称为真值形式1.真值联结词真值联结词表示复合命题与支命题之间真假关系的连表示复合命题与支命题之间真假关系的连接词。基本的真值连接

3、词有五个：接词。基本的真值连接词有五个：、2.真值形式：真值形式：P、PQ、PQ、PQ、PQ、PQ、P Q3命题形式：命题形式：重言式重言式（又称永真式）如：（又称永真式）如：PP、PP矛盾式（常假式）如：矛盾式（常假式）如：PP、（PP）（3）可满足式（有时真，有时假）如）可满足式（有时真，有时假）如PQ、PQ重言式具有特别重要的意义，是逻重言式具有特别重要的意义，是逻辑真理的表现形式，是关于真值联辑真理的表现形式，是关于真值联结词的逻辑规律。现代逻辑中的一结词的逻辑规律。现代逻辑中的一切正确推理形式均可表示为重言式。切正确推理形式均可表示为重言式。二命题的真值判断方法二命题的真值判断方法命

4、题的真值判断方法很多，如：命题的真值判断方法很多，如：真值表法、归谬赋值法、真值树法、演绎真值表法、归谬赋值法、真值树法、演绎证明法、范式法等。证明法、范式法等。（一）真值表法（一）真值表法真值表在逻辑思维中发挥着巨大的作用，真值表在逻辑思维中发挥着巨大的作用，其基本作用是以简单列表计算代替复杂的其基本作用是以简单列表计算代替复杂的思考。思考。用真值表可以解决多种类型的问题。用真值表可以解决多种类型的问题。第一类问题：用真值表判断若干判断之间第一类问题：用真值表判断若干判断之间是否具有矛盾、蕴涵、不同假、不同真等是否具有矛盾、蕴涵、不同假、不同真等逻辑关系。如：逻辑关系。如：1用真值表确定下面

5、用真值表确定下面A、B、C两两之间关两两之间关系。系。A：如果甲出场，那么乙不出场；：如果甲出场，那么乙不出场；B：乙和甲都出场；：乙和甲都出场；C：只有甲出场，乙才不出场：只有甲出场，乙才不出场 2用真值表确定是否存在一种出国方案，用真值表确定是否存在一种出国方案，使使A、B、C、D四句话同时为真。四句话同时为真。A：如果王强出国，那么李明出国。：如果王强出国，那么李明出国。B：如果李明不出国，那么王强出国。：如果李明不出国，那么王强出国。C：王强不出国或李明不出国：王强不出国或李明不出国 D：要么王强出国，要么李明出国：要么王强出国，要么李明出国 3.用真值表寻找符合题设条件的情况用真值表

6、寻找符合题设条件的情况用真值表方法确定当用真值表方法确定当PO和和Q恰有一真时，恰有一真时，PQ和和（PQ）的真假值。）的真假值。4.判断命题之间是否等值判断命题之间是否等值用真值表方法判断用真值表方法判断:(PQ)与与 PQ是否等值是否等值5.用真值表方法判断用真值表方法判断(PQ)R)(P(QR)是否为重言式是否为重言式.6.用真值表判断下列推理是否正确用真值表判断下列推理是否正确:(1)张三作案或李四作案，有证据证明张三张三作案或李四作案，有证据证明张三没作案。因此是李四作案没作案。因此是李四作案（2）张三作案或李四作案，有证据证明是）张三作案或李四作案，有证据证明是张三作案。因此是李四

7、没作案张三作案。因此是李四没作案（3）张三作案或李四作案。因此，并非如）张三作案或李四作案。因此，并非如果李四没作案就一定是张三作案果李四没作案就一定是张三作案（二）真值树法（二）真值树法不要列表，直接在判断下赋值。不要列表，直接在判断下赋值。1.用真值树法判断下列推理是否为正确推理用真值树法判断下列推理是否为正确推理式：式：（P Q）Q P2用真值树法判断下列判断是否为重言式：用真值树法判断下列判断是否为重言式：（P Q）P Q（三）归谬赋值法（三）归谬赋值法1用归谬赋值法判断下列判断是否为重言式用归谬赋值法判断下列判断是否为重言式 (P Q)Q)P 2.(PQ)(RS)(QS)PR3.判定

8、判定(P Q)(P R)(P Q R)是否为重言式是否为重言式练习1.一个人只有在爱的时候，才能理解对方的一个人只有在爱的时候，才能理解对方的价值；一个人只有在被爱的时候，才能理价值；一个人只有在被爱的时候，才能理解自身的价值；一个人或者爱，或者被爱，解自身的价值；一个人或者爱，或者被爱，所以，或者懂得对方的价值，或者懂得自所以，或者懂得对方的价值，或者懂得自身的价值。（先写出逻辑推理式，后用真身的价值。（先写出逻辑推理式，后用真值表法检验。）值表法检验。）2.用真用真值表的方法解答表的方法解答:是否有一方案可同是否有一方案可同时满足甲、乙、丙三位足甲、乙、丙三位领导的要求？甲、乙、丙三位的要

9、求？甲、乙、丙三位领导对是否是否选派小丁与小派小丁与小马去国外去国外进修有如下意修有如下意见：甲：如果小丁去，那么小甲：如果小丁去，那么小马也去。也去。乙：只有小丁去，小乙：只有小丁去，小马才去。才去。丙：或者小丁去，或者小丙：或者小丁去，或者小马去去。3.某案件有四名嫌疑犯，法庭调查后确认：某案件有四名嫌疑犯，法庭调查后确认：（1）或）或A是罪犯，或是罪犯，或B不是罪犯不是罪犯 （2）如果）如果B不是罪犯，则不是罪犯，则C也不是罪犯也不是罪犯（3）只有）只有C是罪犯，是罪犯，D才不是罪犯才不是罪犯（4）已知）已知A不是罪犯不是罪犯根据以上判断，确认谁是罪犯？写出推理根据以上判断，确认谁是罪犯

10、？写出推理过程。过程。4在某一杀人案件中，被告张某被控告的理由是：在某一杀人案件中，被告张某被控告的理由是：（1）杀人事件发生的那天晚上，有人看见张某很）杀人事件发生的那天晚上，有人看见张某很晚才回来（表明被告有作案时间）晚才回来（表明被告有作案时间）（2）死者是被枪杀的，在现场发现一枚六五式手）死者是被枪杀的，在现场发现一枚六五式手枪的子弹壳，而张某是保安人员，所带的也是六枪的子弹壳，而张某是保安人员，所带的也是六五式手枪。五式手枪。（3）张某携带的枪上有血迹。）张某携带的枪上有血迹。根据上面提供的理由，是否能合乎逻辑地推出被根据上面提供的理由，是否能合乎逻辑地推出被告人一定是杀人犯？告人一

11、定是杀人犯？（要求用假言直言推理或三段论推理做分析）（要求用假言直言推理或三段论推理做分析）5.下列各题中的议论是否违背了逻辑的基本规则，或其它下列各题中的议论是否违背了逻辑的基本规则，或其它逻辑要求？为什么？逻辑要求？为什么？（1）变是绝对的，不变是相对的，我们的干部由农村进）变是绝对的，不变是相对的，我们的干部由农村进入大城市，也可能受不良影响会变，只有认真学习马列主入大城市，也可能受不良影响会变，只有认真学习马列主义，坚定立场，才能保持不变。义，坚定立场，才能保持不变。（2）有一段对话如下：甲：）有一段对话如下：甲：“现在有一个重要任务决定现在有一个重要任务决定由你去完成。由你去完成。”

12、乙：乙：“我听从领导的决定。我听从领导的决定。”甲：甲：“你还你还有什么要求吗？有什么要求吗？”乙：乙：“我没什么要求，只有一点，请领我没什么要求，只有一点，请领导派其他同志去做这样这件工作。导派其他同志去做这样这件工作。”甲：甲：“你对完成这项你对完成这项工作没有信心吗？工作没有信心吗？”乙：乙：“我是有信心完成这项工作的，我是有信心完成这项工作的，但我没有把握。但我没有把握。”（3）一学生打坏了教室玻璃，老师说：）一学生打坏了教室玻璃，老师说：“玻璃是国家财玻璃是国家财产，你损坏了玻璃，应照价赔偿。产，你损坏了玻璃，应照价赔偿。”学生说：学生说：“国家财产国家财产是人民财产，我是人民一员，

13、人民财产有我的一份，我那是人民财产，我是人民一员，人民财产有我的一份，我那一份不要了，用不着赔偿。一份不要了，用不着赔偿。”6.逻辑老师出了道题问学生：逻辑老师出了道题问学生：“有一个正确的三段论，有一个正确的三段论，它的小前提是肯定的，试问这个三段论属于哪一格？它的小前提是肯定的，试问这个三段论属于哪一格？”学生甲答：学生甲答：“属于第一格，因为如果它是第一格，那属于第一格，因为如果它是第一格，那么小前提必然是肯定的，而这个正确的三段论的小前么小前提必然是肯定的，而这个正确的三段论的小前提是肯定的。所以它是属于第一格。提是肯定的。所以它是属于第一格。”学生乙同意甲的意见并补充了一句：学生乙同意甲的意见并补充了一句：“只有小前提肯只有小前提肯定，才能是第一格的正确三段论，现在小前提肯定，定，才能是第一格的正确三段论，现在小前提肯定，可见它是第一格无疑。可见它是第一格无疑。”听完学生的回答后，老师发表了自己的意见，认为他听完学生的回答后，老师发表了自己的意见，认为他们的回答都不合乎逻辑。请你用有关逻辑知识分析他们的回答都不合乎逻辑。请你用有关逻辑知识分析他们的错误是什么？们的错误是什么？