南京航空航天大学离散数学课件-第3、4章.pptVIP

1第3章命题逻辑的推理理论 推理的形式结构判断推理是否正确的方法推理定律与推理规则构造证明法 南京航空航天大学《离散数学》 2几个500强面试题（续）★如果你有两个桶，一个装的是红色的颜料，另一个装的是蓝色的颜料。你从蓝色颜料桶里舀一杯，倒入红色颜料桶，再从红色颜料桶里舀一杯倒入蓝颜料桶。两个桶中红蓝颜料的比例哪个更高？通过算术的方式来证明这一点。 ◆你有5 瓶药，每个药丸重10 克，只有一瓶受到污染的药丸重量发生了变化，每个药丸重9 克。给你一个天平，你怎样一次就能测出哪一瓶是受到污染的药呢？ 3推理的形式结构—问题的引入 推理举例: (1) 正项级数收敛当且仅当部分和上有界. (2) 若AèCíBèD，则AíB且CíD.推理: 从前提出发推出结论的思维过程上面(1)是正确的推理，而(2)是错误的推理. 证明: 描述推理正确或错误的过程. 4推理的形式结构 定义 若对于每组赋值，A1ùA2ù…ù Ak 均为假，或当A1ùA2ù…ùAk为真时, B也为真, 则称由A1,A2,…, Ak推B的推理正确 , 否则推理不正确（错误）.“A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式.推理的形式结构: A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论