《形式逻辑判断》PPT课件.ppt

《《形式逻辑判断》PPT课件.ppt》由会员分享，可在线阅读，更多相关《《形式逻辑判断》PPT课件.ppt（37页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、 第四章 判 断（二）教学目的与要求通过本章的学习，要了解什么是复合判断、复合判断分类的根据；各种复合判断的逻辑形式及逻辑性质；正确理解什么是负判断，以及负直言判断、负联言判断、负选言判断、负假言判断及其等值判断。教学重点 各种复合判断的逻辑形式和逻辑性质 联言判断与相容选言判断、相容选言判断与不相容选言判断、充分条件假言判断与必要条件假言判断之间的联系和区别几种主要的负判断及其等值判断的逻辑形式假言判断的等值转换形式等内容第一节第一节 联言判断联言判断 一、什么是联言判断联言判断是断定若干事物情况共同存在的复合判断。一个二支联言判断的逻辑形式是：P并且q 二、联言判断的真假值二、联言判断的真

2、假值联言判断的真假决定于联言支的真假。一联言判断的真假决定于联言支的真假。一个联言判断，只有当它的联言支都真时，个联言判断，只有当它的联言支都真时，它才是真的，只要有一个联言支假，它就它才是真的，只要有一个联言支假，它就是假的是假的。联言判断的真假值与联言支的真假值的制约关系可以用下列真值表来表示：PqP并且q真真真真假假假真假假假假 三、使用联言判断要注意的几个问题 1、选择恰当的关联词语来表达联言判断、选择恰当的关联词语来表达联言判断 2、注意联言支的排列顺序、注意联言支的排列顺序 3、联言支不能重叠、联言支不能重叠 4、在日常语言中，联言判断往往采取省略、在日常语言中，联言判断往往采取省

3、略形式形式第二节第二节 选言判断选言判断一、什么是选言判断一、什么是选言判断选言判断是断定若干可能的事物情况至少选言判断是断定若干可能的事物情况至少或只能有一种真情况存在的判断。或只能有一种真情况存在的判断。选言判断至少包括两个支判断，它的支判选言判断至少包括两个支判断，它的支判断叫选言支。选言支通过选言联结项断叫选言支。选言支通过选言联结项“或或者者”、“要么要么”等联结而构成选言判断。等联结而构成选言判断。可见，选言判断是由选言支和选言联结项可见，选言判断是由选言支和选言联结项两部分构成的。两部分构成的。二、相容选言判断注意选选言支之间的关系（并存和不能并存）1、什么是相容选言判断相容选言

4、判断是断定诸选言支中至少有一个选言支为真的选言判断。相容选言判断的逻辑形式可表示为：P或者q 2、相容选言判断的真假值、相容选言判断的真假值在相容选言判断中，在相容选言判断中，只要有一个选言支真，只要有一个选言支真，它就是真的，选言支它就是真的，选言支都真，它更是真的。都真，它更是真的。只有当选言支都个时，只有当选言支都个时，它才是假的它才是假的。用右面的真值表来表示：PqP并且q真真真真假真假真真假假假 三、不相容选言判断三、不相容选言判断1、什么是不相容选言判断、什么是不相容选言判断 不相容选言判断是断定有而且只有一个选言支为真的选言判断。不相容选言判断的逻辑形式可表示为：要么P，要么q

5、2、不相容选言判断的真假值、不相容选言判断的真假值 在不相容选言判断中，在不相容选言判断中，有而且只有一个选言有而且只有一个选言支是真的，它才是真支是真的，它才是真的；选言支全假或有的；选言支全假或有两个以上选言支真，两个以上选言支真，它是假的。它是假的。用右面的真值表来表示：PqPq真真假真假真假真真假假假四、正确使用选言判断应注意的几个问题 1、不能遗漏真的选言支、不能遗漏真的选言支 2、不能混淆相容选言判断和不相容选言判、不能混淆相容选言判断和不相容选言判断断3、不能混淆相容选言判断和联言判断、不能混淆相容选言判断和联言判断4、选言支一般不能互相重叠、包含，要各、选言支一般不能互相重叠、

6、包含，要各自独立自独立第三节第三节 假言判断假言判断一、什么是假言判断一、什么是假言判断 假言判断是断定一事物情况是另一事物假言判断是断定一事物情况是另一事物情况存在的条件的判断。因为假言判断是情况存在的条件的判断。因为假言判断是有条件地断定某个事物情况的存在，所以有条件地断定某个事物情况的存在，所以又称它为条件判断又称它为条件判断。假言判断由两个支判断和假言联结项构成。两个支判断中，表示条件的支判断，位置一般在前边，称为前件。另一个支判断，位置在后边，称为后件。二、充分条件假言判断1、什么是充分条件假言判断 充分条件假言判断是断定一事物情况存在充分条件假言判断是断定一事物情况存在是另一事物情

7、况也存在的充分条件的假言是另一事物情况也存在的充分条件的假言判断。判断。以“P”和“q”分别表示两种事物情况，如果有P必有q，那么，P就是q的充分条件。充分条件假言判断的逻辑形式可表示为：如果P，那么q 即 Pq2、充分条件假言判断的真假值、充分条件假言判断的真假值充分条件假言判断只是断定，前件真，后充分条件假言判断只是断定，前件真，后件也真。就是说，一个充分条件假言判断，件也真。就是说，一个充分条件假言判断，当前件真后件也真时，它是真的；如果当当前件真后件也真时，它是真的；如果当前件真，后件却假时，它一定是假的，因前件真，后件却假时，它一定是假的，因为这说明前件不是后件的充分条件；而当为这说

8、明前件不是后件的充分条件；而当前个假时，后件不论是真是假，该充分条前个假时，后件不论是真是假，该充分条件假言判断都是真的，因为，充分条件假件假言判断都是真的，因为，充分条件假言判断并未断定，前件假，后件怎么样。言判断并未断定，前件假，后件怎么样。可用下面的真值表来表示：PqPq真真真真假假假真真假假真三、必要条件假言判断 1、什么是必要条件假言判断、什么是必要条件假言判断 必要条件假言判断是断定一种事物情况必要条件假言判断是断定一种事物情况不存在，另一种事物情况就不存在的假言不存在，另一种事物情况就不存在的假言判断判断。必要条件假言判断的逻辑形式可表示为：只有P，才q 即Pq 2、必要条件假言

9、判断的真假值、必要条件假言判断的真假值必要条件假言判断只是断定，前件假，后必要条件假言判断只是断定，前件假，后件也假。就是说，一个必要条件假言判断，件也假。就是说，一个必要条件假言判断，当前件假，后件也假时，它是真的；如果当前件假，后件也假时，它是真的；如果当前件假，后件却真时，它一定是假的，当前件假，后件却真时，它一定是假的，因为，这说明前件不是后件的必要条件；因为，这说明前件不是后件的必要条件；而当前件真时，后件无论真假，它都是真而当前件真时，后件无论真假，它都是真的，在为必要条件假言判断并未断定，前的，在为必要条件假言判断并未断定，前件真，后件怎么样。件真，后件怎么样。可用下面的真值表来

10、表示：PqP q真真真真假真假真假假假真四、充分必要条件假言判断四、充分必要条件假言判断1、什么是充分必要条件假言判断、什么是充分必要条件假言判断 充分必要条件假言判断是断定一种事物情况存充分必要条件假言判断是断定一种事物情况存在另一种事物就存在；该种事物情况不存在另一在另一种事物就存在；该种事物情况不存在另一种事物情况就不存在的假言判断。种事物情况就不存在的假言判断。充分必要条件假言判断的逻辑形式可表示为：充分必要条件假言判断的逻辑形式可表示为：如果如果P，那么，那么q，并且只有，并且只有P，才，才q 或表示为：或表示为：当且仅当当且仅当P，才，才q充分必要条件假言判断的逻辑充分必要条件假言

11、判断的逻辑形式可表示为：形式可表示为：Pq 2、充分必要条件假言判断的真假值、充分必要条件假言判断的真假值充分必要条件假言判断断定了前件是后件充分必要条件假言判断断定了前件是后件的充分条件，又是后件的必要条件，即前的充分条件，又是后件的必要条件，即前件真后件一定真，前件假后件一定假。就件真后件一定真，前件假后件一定假。就是说，一个充分必要条件假言判断，当前是说，一个充分必要条件假言判断，当前件真后件也真，或前件假后件也假时，它件真后件也真，或前件假后件也假时，它是真的；而当前件真而后件假，或前件假是真的；而当前件真而后件假，或前件假而后件真时，它是假的而后件真时，它是假的 可用下面的真值表来表

12、示：PqP q真真真真假真假真假假假真可用下面的真值表来表示：PqP q真真真真假假假真假假假真 五、关于正确运用假言判断应注意的问题 1、确切把握假言判断不同联结项的逻辑含、确切把握假言判断不同联结项的逻辑含义，准确反映客观事物情况之间的关系。义，准确反映客观事物情况之间的关系。2、确切把握充分条件与必要条件之间的联、确切把握充分条件与必要条件之间的联系，正确地进行假言判断之间的等值转换系，正确地进行假言判断之间的等值转换 3、弄弄清清假假言言判判断断的的语语言言表表达达形形式式，准准确确地地表达假言判断表达假言判断案例案例：我猜 古代某个国家有个奇怪的法律，犯了死罪的罪犯在被执行死刑时，还

13、有一个生还的机会。即：执行死刑的两个刽子手各拿一瓶外观一样的酒，其中一瓶是美酒，一瓶是毒酒。而这两个刽子手又分别是一个说真话，一个说假话。将被执行死刑的犯人被允许向其中的一个刽子手提一个问题，然后根据回答判定这两瓶酒中哪一瓶是美酒，并把它喝下去。判断正确的喝完美酒后当场释放，而判断错误的也就被执行完死刑了。有位犯了死罪的智者就利用这个机会，喝完美酒后又重新获得了自由。问：这个智者所提的问题是什么？他又是如何根据所得到的回答推断出哪瓶是美酒的？第四节第四节 负判断负判断 一、什么是负判断负判断是否定某个判断的判断。(1)并不是一切水生动物都是鱼（2）并非科学家都是天生聪明的。（3）任何事物都不是

14、静止的。负判断的逻辑形式可表示为：并非P 其中“P”是支判断，“并非”是联结项。“并非”也可以用符号“”或“”来表示。这样，负判断的符号式就是：P 或 P原判断真，负判断就假；原判断假，负判原判断真，负判断就假；原判断假，负判断就真（负判断和原判断之间是矛盾关系）断就真（负判断和原判断之间是矛盾关系）二、负判断及其等值判断1、负简单判断及其等值判断、负简单判断及其等值判断 负简单判断是指支判断为简单判断的负判负简单判断是指支判断为简单判断的负判断，它包括负直言判断、名简单模态判断断，它包括负直言判断、名简单模态判断和负关系判断。和负关系判断。2、负复合判断及其等值判断、负复合判断及其等值判断

15、负联言判断及其等值判断负联言判断及其等值判断 负相容选言判断及其等值判断负相容选言判断及其等值判断 负不相容选言判断及其等值判断负不相容选言判断及其等值判断 负充分条件假言判断及其等值判断负充分条件假言判断及其等值判断 负必要条件假言判断及其等值判断负必要条件假言判断及其等值判断 负充分必要条件假言判断及其等值判断负充分必要条件假言判断及其等值判断 负负判断的等值判断负负判断的等值判断 真值表及其作用数理逻辑中用以定义命题连接词并确定复合命题真假的一中图表使用步骤：以“如果物体受到摩擦，那么它就会发热。此物没有收到摩擦，所以，此物不会发热”为例1、找出这个复合判断中最简单的支判断，并用字母分别

16、表示2、列出这些支判断的各种可能的真值组合情况，构成复合判断的最简单支判断的真值组合情况可以用2的n次方表示。n表示支判断个数3、由简而繁的列出构成该复合判断的各个支判断和该复合判断的逻辑形式，并依据各自的逻辑特征求出它们的真值。作用1、用真值表判定多重复和判断的真值情况2、用真值表判定判断之间的关系（是否具有等值、矛盾、反对、蕴含关系）3、用真值表判定复合判断的推理形式是否为有效式（步骤：第一、若推理是以自然语言形式表达的，需先用字母代表其中的前提和结论，写出其推理形式，第二。将推理形式转换为蕴含式。蕴含式的前件是前提的合取，后件是结论。第三、用真值表法判定该蕴含式是否为永真式，如果永真，说明该推理形式有效，否则为无效