Your point is better than mine. 这样说吧 我们手头上有及三个集合 自然数(N) 奇数(O) 以及 偶数(E) 我们在这些集合上定义运算 简单一点 就论加法运算 因此,原作者 的作法 让x是O中的一个元素, 则 要推论 x+2 是O的元素 问题来了: 这样的推论对不对呢? 请想看看吧!! 我们无法单纯在奇数集合中做运算,因此,要考虑可以同时含括奇偶集合的自然数 显然,任何自然数中的元素不是奇数就是偶数 这样的命题是可以用真值表验证的 在来 若p则q 的意义 (我想大家应改都知道,请原谅 事隔多年 我印像不深了 如果有谬误 请帮忙修正一下) 成为一个命题的要件 就是可以判别对错 因此,"假设命题"当然要能判别对错, 但是假设对错问题的另一层次的观点,个人推荐可看(99.9%都是假设)这一本书, 不在此评论 "任何自然数中的元素不是奇数就是偶数" 可以确认真假 "让一个自然数中的元素,假定为奇数" 当然可行,亦当然要确认真假 因此,以原着 的写法,理应得到 "假定为奇数" 这个假定是错的 因为对一个自然数集合中的元素,不应该只单纯假定它为奇数 当然,一开始的命题是假命题,後面所提及的推论 当然都是对的 回归到此问题所要教给的学生的技巧: 我们如何表达 在自然数中,奇数要如何表达 {2n+1:for all n in natural number} 而这样的表达方式,是有理论证明为正确的 反过来说 "假定为奇数" 绝对可行, 但是请确认 命题的真假 我相信可行的理由,因为你可以重新建构一个运算系统(与目前谈论的不一样) 确认系统的正确性及可行性後,在去解你要的问题答案 同时,我猜想答案会一样,不过所花费的代价不小 我觉得 : tntdjk若有错 : 也只是 : 第一行少补了",n为奇数" : 或是将"假设此四数为"改成"设此四奇数为" : 我觉得 : 假设 : 2n-1,2n+1,2n+3,2n+5 好像更好,因为为了方便,n大多是自然数时用 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.109.72.185