逻辑学第五六章(精品·公开课件).pptVIP

必要条件假言联锁推理的两种有效式： 否定前件式：即结论的前件是第一个必要条件假言前提的前件的负判断（即否定前件），结论的后件是最后一个必要条件假言前提的后件的否定。从否定前件到否定后件，形成一个否定前件式的必要条件假言联锁推理。 [例] 只有坚持依法治国，才能实现社会公平；只有实现社会公平，才能最大限度地调动劳动者的积极性。所以，如果不实现依法治国，就不能最大限度地调动劳动者的积极性。 肯定后件式：即结论的前件是最后一个必要条件假言前提的后件（即肯定后件），结论的后件是第一个必要条件假言前提的前件。从肯定后件到肯定前件，形成一个肯定后件式的必要条件假言联锁推理。 [例] 只有刻苦训练，才有机会参加奥运会；只有参加奥运会，才能获得奥运金牌； 王军霞曾获得过奥运金牌，所以，王军霞在训练时一定非常刻苦。 （2）必要条件假言连锁推理的形式 否定前件式： 肯定后件式： P←Q P ←Q Q ←R Q ←R 所以，- P→- R 所以，R → P 反三段论（推理） 反三段论是一种特殊的多重复合判断推理形式，其主要作用是判定一个形式正确的三段论，其结论假则至少有一个前提假。 [例] 所有天鹅都是白的(p)，这只鸟是天鹅(q)，则这只鸟是白的(r)。这只鸟是天鹅(q)，但不是白的(-r)。所以，并非所有的天鹅都是白的。(-p) 一般形式：(p∧q→r)→(-r∧q→-p) ((p∧q→r)∧-r)→-p∨-q 假言易位推理：指从一个充分条件假言判断推出其逆否判断的推理。 其形式为：（P→Q）←→（-Q→-P） 实际上，假言易位推理是假言判断的变形推理，即如果P是Q的充分条件，则Q是P的必要条件，无Q则无P。 例如：从“如果物体受热，其体积会膨胀。”可以推出“如果物体体积未膨胀，则说明物体没有受热。” 孔子有句名言：“己所不欲，勿施于人”，以下哪两句话表达的意思与它不符？ A、如果不施于人，那必定是己所不欲的。 B、只有己所欲的，才施于人。 C、如果施于人，那么必是己所欲的。 D、只有施于人的，才是己所欲的。 E、只有不施于人的，才是己所不欲的。 二难推理 二难推理是一种结论为二难的假言选言推理。它针对对方的弱点给出两种可能，使对方必须在两种可能中选择一种。但是，这两种可能都不可接受，结果是让对方陷入两难的境地。 [例] 中世纪欧洲有人对上帝的万能提出了质疑，他向基督徒提出了这样一个问题：上帝能不能创造一块他自己举不起来的石头？并进行了这样的推理： 如果上帝能创造这样一块石头，那么他不是万能的，因为有一块石头他举不起来。 如果上帝不能创造这样一块石头，那么他也不是万能的，因为有一块石头他不能创造。 上帝或者能创造这样一块石头，或者不能创造这样一块石头。 所以，上帝不是万能的。 二难推理的四种形式 （1）简单构成式，即 p→r; q→r; p∨q, 所以 r. (p→r)∧(q→r)∧(p∨q)→r (2)复杂构成式 p→r; q→s; p∨q, 所以 r∨s. (p→r)∧(q→s)∧(p∨q)→r∨s (3)简单破坏式 p→q; p→r; -q∨-r, 所以 -p. (p→q)∧(p→r)∧(-q∨-r)→-p (3)复杂破坏式 p→q; r→s; -q∨-s, 所以 -p∨-r. (p→q)∧(r→s)∧(-q∨-s)→-p∨-r 1、人造物是智性设计的产品。（目的） 2、宇宙与这些人造物相像。 3、所以，宇宙也是一个智性设计的结果。（目的） 4、但宇宙比某个人造物要远为复杂和巨大。 5、所以，也许有一个强大而有着非常智性的设计者设计了这个宇宙。 模态判断的负判断的等值推理： 不必然P←→可能-P 不可能P←→必然-P 不可能-P←→必然P 不必然-P←→可能P 不必须P←→允许-P 不允许P←→必须-P 不允许-P←→必须P 不必须-P←→允许P 复合判断的负判断的等值推理： -（P∧Q）←→-P∨-Q -（P∨Q）←→-P∧-Q - P⊙Q ←→（P∧Q）∨（-P∧-Q） -（P→Q）←→P∧-Q -（P←Q）←→-P∧Q -（P←→Q）←→（P∧-Q）∨（-P∧Q） 从以上等值推理可看出：{-，∧}、{-，∨}、{-，→}可以相互定义，它们也称为基本联结词，因为 ←，←→，⊙等都可由上述任意一组予以定义。 如，以{-，∧}定义其它逻辑联结词： P∨Q= df-(-P∧-Q) P→Q= df-(P∧-Q) P←Q= df-(-P∧Q) P