主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟
共:💬35 🌺11
假设中n为任意自然数，数学归纳法才能成立。原命题中没有对秃顶进行定义，但是可以假设n<=k时为秃顶，这个时候原推理中的n有了取值范围，所以数学归纳法不成立。当然，由于秃顶到不秃是一个渐变过程，所以k不是某一个确定的数，而可以是某一个域，但是不管如何，在数轴上该域的右端的所有值n都无法取到。
以上，天下人皆秃顶的逻辑推理无法成立。
- 相关回复 上下关系8
压缩 3 层
😉这可不是啥逻辑.第一步就错了."有割草机"不能推出"有草坪" 衲子 字0 2006-07-11 22:06:22
🙂该推论错误的关键点 孔雀王 字123 2006-07-13 00:01:27
🙂天下人皆秃顶的逻辑推理（笑话） 唵啊吽 字187 2006-07-11 17:08:15
🙂这个逻辑不成立，这里的n不是任意自然数，且命题没有对秃顶进行定义。
😉这个笑话才说到点子上. 需要模糊逻辑. 衲子 字0 2006-07-11 22:07:31
🙂不知道模糊逻辑 煮酒正熟 字348 2006-07-13 00:41:18
🙂反过来也可以证明只有零根头发的 闲来有事 字18 2006-07-11 17:18:45
🙂这个不是形式逻辑 泰让 字10 2006-07-11 16:51:54