主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟
共:💬35 🌺11
头发为0根的人是秃顶
头发为1根的人还是秃顶
如果一个秃顶头上有n根头发
则此人在长多一根头发还是秃顶
（n=0,1成立，设n成立，则n+1亦成立，得对任何n都成立）
由数学归纳法证得：天下人皆秃顶。
- 相关回复 上下关系8
压缩 3 层
🙂你理解错了，这个笑话讽刺的不是（A->F)->(非A->非F) 语迟 字30 2006-07-13 12:09:50
😉这可不是啥逻辑.第一步就错了."有割草机"不能推出"有草坪" 衲子 字0 2006-07-11 22:06:22
🙂该推论错误的关键点 孔雀王 字123 2006-07-13 00:01:27
🙂天下人皆秃顶的逻辑推理（笑话）
🙂这个逻辑不成立，这里的n不是任意自然数，且命题没有对秃顶进行定义。 奶糖人6号 字322 2006-07-18 02:47:39
😉这个笑话才说到点子上. 需要模糊逻辑. 衲子 字0 2006-07-11 22:07:31
🙂不知道模糊逻辑 煮酒正熟 字348 2006-07-13 00:41:18
🙂反过来也可以证明只有零根头发的 闲来有事 字18 2006-07-11 17:18:45