形式逻辑学全套课件80.ppt

定义：断定选言支中有且只有一选言支真 [例1]中国要么走社会主义道路，要么走资本主义道路。 [例２]不是老虎吃掉武松，就是武松打死老虎。 结构：选言支（可能情况） 联结词（不能同时存在） 要么p，要么q p∨q∨r（∨为不相容析取） 自然语句：不是，就是；或，或，二者不可兼得等 p q p∨q t t t f f t f f f t t f 真值：至少有一存在，但不能同时存在即至少且至多有一存在，也即唯一支真 唯一支真， ∨真 p∨q的真值表 情况组合 符号 命题真假 1.你死， 我死 p, q 假 f 2.你死， 我不死 p,?q 真 t 3.你不死，我死 ?p,q 真 t 4.你不死，我不死 ?p, ?q 假 f 例析 “不是你死就是我亡” . ． ． ． ． ． 4.2.1.2不相容选言命题 . . . . （（ p∨q）∧?p）→q （（ p∨q）∧?q）→p （( p∨q∨r）∧? p）→（q∨r） 但有 4.3.1选言推理 4.3.1.1 相容选言推理 （（ p∨q）∧p）→ ?q （（ p∨q）∧q）→?p 无效式 逻辑性质：有且只有一选言支真，则不相容选言命题真；选言支都真或都假，则不相容选言命题假。 定义：根据选言命题性质进行的推理。 依据 p∨q 的性质，至少有一支真，所以 规则：①否认一部分选言支，就要承认剩余那一个选言支 ②承认一部分选言支，不能否认余下那一部分选言支 否定肯定式 [例1] 该案的作案者或者是甲，或者是乙 　 现已查明该案的作案者不是甲 　 所以，该案的作案者是乙。 4.3. 1.2不相容选言推理 规则： ①否认一部分选言支，就要肯定剩余的那个选言支 ②肯定一个选言支，就要否认剩余的那一部分选言支 [例２] 某考生没有考取高等学校，或者由于政审不合格，或者由于身体不符合要 求，或者由于成绩不够录取条件 某考生既不是由于政审不合格，也不是由于身体不符合要求 所以，某考生没被录取是由于成绩不够录取条件。 （（ p∨q）∧?p）→q （（ p∨q ）∧ p）→ ?q 依据 p∨q性质，至多至少有一支真 肯定否定式 根据至多有一支真 ． ． 否定肯定式 根据至少有一支真 ． 否定肯定式 [例１]要么甲是罪犯，要么乙是罪犯； 　　　甲不是罪犯； 　　　所以，乙是罪犯。 [例2] 中国要么走社会主义道路，要么走资本主义道路 中国不走资本主义道路 所以，中国走社会主义道路。 肯定否定式 [例1] 一部小说要么是长篇，要么是中篇，要么是短篇 　　　小说《红岩》是长篇； 　　 所以，小说《红岩》不是中篇，也不是短篇。 [例２]老王现在不是在北京，就是在广州； 　　　老王现在是在北京； 　　　所以，老王现在不是在广州。 小孙刚到公安局工作,第一次参加侦破一起盗窃案。初步调查表明此案可能是两人以上共同作案,而且只有张某、王某、李某三人有重大嫌疑。后来事实证明,张某确实是作案人。在案情分析会上,小孙说：“这个案件的作案人已经找到,对王某、李某的怀疑可以排除了。”刑警队长说：“小孙的分析犯了一个逻辑错误。”不久,小孙又参加了一起杀人案的侦破工作。现场勘察表明,此案是一个人所为,且只有甲、乙、丙三人有可能作案。经调查,确证甲是此案凶手,于是队长宣布：“乙、丙二人不是作案人,对他们不必再查了。”小孙说：“哈,这次队长犯了与我上次犯过的相同的错误。”队长笑了笑对小孙说：“小孙,看来你得好好地学一点逻辑！” 请问:小孙作出结论运用的是什么推理？为什么是错误的？队长作出结论运用的是什么推理？为什么是正确的？ [例1] 已知：第一,《神鞭》的首先翻译出版用的或者是英语或者是日语, 二者必居其一。 第二，《神鞭》的首次翻译出版或者在旧金山或者在东京，二者必居其一。 第三，《神鞭》的译者或者是林浩如或者是胡乃初，二者必居其一。 如果上述断定都是真的，则以下哪项也一定是真的？ I.《神鞭》不是林浩如用英语在旧金山首先翻译出版的，因此，《神鞭》是胡乃初用日语在东京首先翻译出版的。 II.《神鞭》是林浩如用英语在东京首先翻译出版的，因此，《神鞭》不是胡乃初用日语在东京首先翻译出版的 III.《神鞭》的首次翻译出版是在东京, 但不是林浩如用英语翻译出版的，因此一定是胡乃初用日语翻译出版的。 A