形式逻辑 第四章 复合判断资料.doc

《形式逻辑 第四章 复合判断资料.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、精品好文档，推荐学习交流第四章判断（二）[学习提示]本章介绍各种复合判断。通过本章的学习，要了解什么是复合判断、复合判断分类的根据；各种复合判断的逻辑形式及逻辑性质。各种复合判断的逻辑形式和逻辑性质是复合判断推理的基础，是本章学习的重点内容，要牢固掌握。其中还要注意把握联言判断与相容选言判断、相容选言判断与不相容选言判断、充分条件假言判断与必要条件假言判断之间的联系和区别；几种主要的负判断及其等值判断的逻辑形式；假言判断的等值转换形式等内容。第一节复合判断概述一、什么是复合判断？指本身含有其它判断的判断。如：未来战争或者是核战争，或者是常规战争。二、复合判断的构成及形式复

2、合判断由联结词将支判断（命题变项）联结起来而构成。形式：是由联结词与命题变项组成的表达式。三、复合判断的种类以联结词的逻辑性质为标准，分为联言判断、选言判断、假言判断和负判断四种。第二节联言判断一、什么是联言判断联言判断是断定若干事物情况共同存在的复合判断。例如：泰山既雄伟，又壮丽。联言判断由联言支和联言联结项构成。联言支可以有两个或三个以上，联言支通过联结项“并且”联结起来。一个二支联言判断的逻辑形式是：P并且q在现代逻辑中，“并且”也可用“”（读作“合取”）表示。这样，联言判断的逻辑形式也可表示为：Pq在现代汉语中，联言判断用并列复句、递进复句、连贯复句、转折复句与某

3、些单句表达。在日常生活中，联言命题常用省略的语言形式表达，如：虚心使人进步，骄傲使人落后（省略连接词）二、联言判断的真假值联言判断的真假决定于联言支的真假。一个联言判断，只有当它的联言支都真时，它才是真的，只要有一个联言支假，它就是假的。两个联言支中如果有一个假或者两个都假时，那么，这个联言判断就是假的。联言判断的真假值与联言支的真假值的制约关系可以用下列真值表来表示：仅供学习与交流，如有侵权请联系网站删除谢谢7精品好文档，推荐学习交流PqPq真真真真假假假真假假假假现代逻辑认为，一个合取式（Pq），只要支命题都真，即使支命题之间没有意义上的联系，也是真的。例如，“1+1

4、=2，并且雪是白的”这个联言命题就是真的。然而，在实际思维和语言表达中，人们不满足于仅从真假值的角度对联言判断加以研究，而进一步从联言支之间不同意义上的联系作具体分析，以便准确使用这种判断。在数理逻辑中，如果将联言命题联言支的次序前后颠倒，并不影响整个联言命题所表达的意思。但在日常语言中，联言命题联言支的前后次序有时是不能颠倒的。如果颠倒，意思可能会大相径庭。如：屡战屡败——屡败屡战。第二节选言判断一、什么是选言判断选言判断是断定若干可能的事物情况至少或只能有一种真情况存在的判断。选言判断至少包括两个支判断，它的支判断叫选言支。选言支通过选言联结项“或者”、“要么”等联结

5、而构成选言判断。可见，选言判断是由选言支和选言联结词两部分构成的。选言判断一般由选择复句来表达。在日常生活中，选言判断也可用省略的语言形式表达：（1）冠军或者是法国队，或者是巴西队。（2）法是由国家制定或认可的。二、选言判断的种类选言判断的逻辑特性就是选言支是否可以同真。如果一个选言判断的选言支所反映的事物情况可以有两个以上或全部同时存在，即选言支可以同真，那么，选言支之间是相容关系，如果一个选言判断的选言支所反映的事物情况只能有一个存在，不能有两个以上存在，那么，选言支之间是不相容关系。根据选言支之间相容还是不相容，选言判断可分为相容选言判断和不相容选言判断两种。1.相

6、容选言判断（1）含义：相容选言判断是断定诸选言支中至少有一个选言支为真并且可同时为真的选言判断。胜者或因其强，或因其指挥无误。汽车没按时回来，或者是路断了，或者是车坏了。（2）逻辑形式：相容选言判断的逻辑形式可表示为：p或者q其中“p”和“q”表示选言支，“或者”是联结词。相容选言判断的联结词也可以用符号仅供学习与交流，如有侵权请联系网站删除谢谢7精品好文档，推荐学习交流“”（读作“相容析取/析取”）来表示。这样，相容选言判断的逻辑形式也可表示为：pq在现代汉语中，表达相容选言判断的关联词语除了“或者”以外，还有“是……还是”、“也许……也许……”、“不是……就是……”等

7、等。（3）相容选言判断的真假值在相容选言判断中，只要有一个选言支真，它就是真的，只有当选言支都假时，它才是假的。用下面的真值表来表示：pqpq真真真真假真假真真假假假2.不相容选言判断（1）含义：不相容选言判断是断定有而且只有一个选言支为真的选言判断。①这场足球赛，要么甲队胜，要么乙队胜，要么踢平。②或者是英雄创造历史，或者是群众创造历史，二者必居其一。（2）逻辑形式：不相容选言判断的逻辑形式可表示为：要么p，要么q其中“P”和“q”表示选言支；“要么……要么……”表示联结词。不相容选言判断的联结词也可用符号“·”（读作“不相