复合判断及其推理(二) 逻辑学 幻灯片课件.pptVIP

考考你的逻辑思维;;;(二) 必要条件判断 必要条件判断，又叫必要条件假言判断、反蕴涵判断，就是断定前件假、后件必假的条件判断。例如， 1. 只有发烧，才(可能是)得“非典”。 2. 机器人必须服从人类的命令，除非该命令与定律Ⅰ相冲突。 3. 只有了解那只鸟，才会珍惜它。 ;可见，表达必要条件判断的语言形式也是多种多样的。一方面，必要条件判断的前件在语言表达上不一定放在前面；另一方面，必要条件判断的联结项在语言表达上也多种多样。除上述范例外，再如，“必须……才……”、“不……就不……”、“除非……才……”等等。 但是，逻辑上通常用“只有……才……（…only if）”来表示必要条件判断的联结项。因此，必要条件判断的一般形式是：;(三) 充分必要条件判断 充分必要条件判断，又叫充分必要条件假言判断、等值判断，就是断定前件真、后件必真，前件假、后件必假的条件判断。例如， 1. 如果日本无条件投降，那么盟国就停止轰炸日本；并且只有无条件投降，盟国才停止轰炸日本。 2. 发生日食，当且仅当，月球运行在地球与太阳之间而遮住了太阳。 ;可见，表达充分必要条件判断的语言形式也是多种多样的。除了上述范例之形式外，再如，“如果……那么……，并且如果不……那么就不……”、“如果而且只有……才(就)……”、“……若且仅若……”等等。 但是，逻辑上通常用“……当且仅当……（…if and only if…）”来表示充分必要条件判断的联结项。因此，充分必要条件判断的一般形式是：;p当且仅当q。 其符号化公式是： p ? q 充分必要条件判断逻辑特征是：当前件与后件同真或同假时，充分必要条件判断就是真的；否则，充分必要判断就是假的。这种逻辑性质可以用真值表显示如下:;p;(四) 条件推理(假言推理) 条件推理就是指前体中至少有一个条件判断，并根据条件判断的逻辑性质而进行的复合判断推理。我们这里主要探讨条件易位推理、条件直言推理和条件连锁推理。 1. 条件易位推理 条件易位推理是一种直接推理，它是指以某个条件判断为前提，通过交换其前; 件与后件位置，从而推出另一个条件??断为结论的条件推理。 (1) 充分条件易位推理 充分条件易位推理就是前提为充分条件判断，结论是必要条件的条件易位推理。它具有如下形式：;其符号化公式是： (p → q)├ (q ← p) 例如，;我们可以用真值表来验证充分条件易位推理是否正确：;(2) 必要条件易位推理 必要条件易位推理就是前提为必要条件判断，结论是充分条件的条件易位推理。它具有如下形式：;其符号化公式是： (p ← q)├ (q → p) 例如，;我们可以用真值表来验证必要条件易位推理是否正确：;综合充分条件易位推理和必要条件易位推理，我们可以得出如下推论： A. 易位后，只要符号箭头保持对准原支判断，就可以保证推理的正确性。 B. 易位前后两个判断是可以互推的，即(p → q) (q ← p)成立。 例如，在《文学与出汗》中，鲁迅意欲批判的是：如果文学作品不描写永远不变的人性，那么这个文学作品便是不久; 长的。但是，鲁迅实际批判的是：如果文学作品是不长久的，那么该文学作品便不是描写永远不变的人性。 可是，从“如果文学作品不描写永远不变的人性，那么这个文学作品便是不久长的” 推不出“如果文学作品是不长久的，那么该文学作品便不是描写永远不变的人性”。;2. 条件直言推理 条件直言推理是一个前提为条件判断，另一个前提和结论都是直言判断，并根据条件判断的性质而进行的条件推理。 (1) 充分条件直言推理 充分条件直言推理有两种有效式：肯定前件式和否定后件式。 A. 肯定前件式 例如，;充分条件直言推理肯定前件式的符号化公式是： (p → q) ∧ p├ q 我们可以用真值表来验证充分条件直言推理肯定前件式的正确性：;p;B. 否定后件式 例如，;充分条件直言推理否定后件式的符号化公式是： (p → q) ∧﹁ q├ ﹁ p 我们可以用真值表来验证充分条件直言推理否定后件式的正确性：;p;注意，充分条件直言推理的肯定后件式和否定前件式都是无效的。例如，下述两个推理都是无效的。 a. 摩擦生热，生热了，所以存在摩擦。 b. 摩擦生热，没摩擦，所以就没生热。 ;总之，我们可以把充分条件直言推理的推理规则总结为如下四句口诀： 前(件)真后(件)必真， 后(件)假前(件)必假。 前(件)假后(件)不必假，后(件)真前(件)不必真。 ;(2) 必要条件直言推理 必要条件直言推理也有两种有效式：否定前件式和肯定后件式。 A. 否定前件式 例如，;必要条件直言推理否定前件式的形式是：;我们可以用真值表来验证一下：;B. 肯定后件式 例如，小李在哥