11第十一讲负命题、二难推理技巧.ppt

4、负命题真值表 真值表 二难推理 Dilemma * 第十一讲 负命题及其推理 二难推理 逻辑史话 　 弗雷格（Gottlob Frege,1848—1925），德国数学家、逻辑学家和哲学家，其主要著作有：《概念文字》、《算术基础》、《算术基本规律》、《弗雷格哲学论著选辑》等。他建立了第一个完全的命题演算和谓词演算系统，并提出了把数学化归于逻辑的逻辑主义纲领，是数理逻辑的主要奠基人。 　　　始终要把心理的东西与逻辑的东西、主观的东西和客观的东西区分开来。绝不要孤立地去问一个词的意义，仅仅在语句的语境中才能去问一个词的意义。决不要无视概念和对象之间的区别。 ——弗雷格 新授 一、负命题（negation) 1）并非所有的金球奖得主都是射手。 2）并非有些犯罪没有主观故意或者过失。 3）并不是说一旦刮风就要下雨。 4）并非价廉物美。 ****** 1、定义： 2、逻辑形式：并非p ﹁p 3、负命题与原命题关系：矛盾关系。 ****** F T ﹁p p F T 　The truth table for negation shows that ﹁p is true when p is false and that ﹁p is false when p is true. ****** 二、负命题的等值命题。 1）??? 并非价廉物美。 2）??? 并非明天或者刮风或者下雨。 3）??? 并非要么做夫妻，要么做仇人。 4）??? 并非招手即停。 5）??? 并非只有天才才能有创造发明。 6）??? 并非当且仅当吸烟，则得肺癌。 ****** 1）联言……： ﹁（p∧q）?（﹁p∨﹁q） 2）相容选言…：﹁（p∨q）?（﹁p∧﹁q） 3）不相容选言…： ﹁（p∨q）?（（p∧q）∨（﹁p∧﹁q）） 4）充分假言……： ﹁（p?q）?（p∧﹁q） 5）必要假言……： ﹁（p?q）?（﹁p∧q） 6）充要假言……： ﹁（p?q）?（（p∧﹁q）∨（﹁p∧q）） 7）负命题……： ﹁（﹁p）?p ****** · F F T F F T T T ? ? ? ∨ ∨ ∧ q p · T F F F T T T F F T T F T F T T T T F T T F F T 三、负命题的等值推理 ﹁（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） ?p ****** · 1）如果上帝能够创造一块他举不起来的石头，那么他不是万能的； 如果上帝不能够创造一块他举不起来的石头，那么他不是万能的； 上帝或者能够创造一块这样的石头，或者不能创造一块这样的石头； 2）如果他是杀人凶手，他就有作案动机； 　如果他是杀人凶手，他就有杀人时间； 他或者没有作案动机，或者没有作案时间； 所以，上帝不是万能的。 所以，他不是杀人凶手。 ****** 3）如果你娶到一个好老婆，你会获得人生幸福； 如果你娶到一个坏老婆，你会成为一位哲学家； 你或者娶到一个好老婆，或者娶到一个坏老婆； 4）如果某甲谦虚，那么他愿意改正自己错误； 如果某甲光明磊落,那么他愿意承认自己错误； 某甲或者不愿意改正自己的错误，或者不愿意承认自己的错误； 所以，你或者会获得人生的幸福，或者会成为一位哲学家。 所以，某甲或者不谦虚，或者不光明磊落。 ****** 1、定义： 2、分类： 构成式 破坏式 简单式 复杂式 p?q，r?q p∨r　　 　　q p?q，p?r ﹁q∨﹁ r 　 　　﹁p ?p?q，r?s p?q，r?s p∨r ﹁q∨﹁s　 　q∨s ﹁p∨﹁r ****** 1)简单构成式： （p?q）∧（r?q）∧（p∨r） ?q 2)简单破坏式： (p?q)∧（p?r）∧（﹁q∨﹁r）?﹁p 3)复杂构成式： (p?q)∧（r?s）∧（p∨r）?（q∨s） 4)复杂破坏式： (p?q)∧(r?s)∧(﹁q∨﹁s)?(﹁p∨﹁r) ****** 1)???Constructive dilemma (CD): 　 A constructive dilemma is a valid argument f