4这可不是啥逻辑.第一步就错了."有割草机"不能推出"有草坪" 衲子 2006-07-11 22:06:22

5该推论错误的关键点 孔雀王 2006-07-13 00:01:27
不在 割草机——>拥有草地
在于 有房子——>结婚——>有妻子
上面的可以有二元选择
生活实践中单一选择不能否定逻辑推理中的多选

最后于2006-07-13 02:41:25改,共1次;

4天下人皆秃顶的逻辑推理（笑话） 唵啊吽 2006-07-11 17:08:15
头发为0根的人是秃顶
头发为1根的人还是秃顶
如果一个秃顶头上有n根头发
则此人在长多一根头发还是秃顶
（n=0,1成立，设n成立，则n+1亦成立，得对任何n都成立）
由数学归纳法证得：天下人皆秃顶。

5这个逻辑不成立，这里的n不是任意自然数，且命题没有对秃顶进行定义。 奶糖人6号 2006-07-18 02:47:39
假设中n为任意自然数，数学归纳法才能成立。原命题中没有对秃顶进行定义，但是可以假设n<=k时为秃顶，这个时候原推理中的n有了取值范围，所以数学归纳法不成立。当然，由于秃顶到不秃是一个渐变过程，所以k不是某一个确定的数，而可以是某一个域，但是不管如何，在数轴上该域的右端的所有值n都无法取到。
以上，天下人皆秃顶的逻辑推理无法成立。

最后于2006-07-19 03:10:57改,共1次;

5这个笑话才说到点子上. 需要模糊逻辑. 衲子 2006-07-11 22:07:31

6不知道模糊逻辑 煮酒正熟 2006-07-13 00:41:18

我平常辩论时喜欢说 -- 按照逻辑常情，虽然自己对逻辑所知甚少。
我觉得逻辑是个死板的工具，首先它毕竟是个有用的工具，其次它有缺陷，所以许多时候需要人们用常理常情常识来弥补其缺陷。
具体比如那个天下皆秃的例子。常情告诉我们，一个长了n根头发的人，我们无法判定他是秃还是不秃，所以长n+1根的人你就不能说他是个兔子。我估计所谓模糊逻辑大概也就是这个意思吧？

5反过来也可以证明只有零根头发的 闲来有事 2006-07-11 17:18:45


不是秃顶。。。

4这个不是形式逻辑 泰让 2006-07-11 16:51:54
靶子立错了

2呵呵看来懒虫大学学的不怎样的逻辑都还给老师了，今天看来依然很新鲜~ 大懒虫1号 2006-07-11 11:56:16

2想起阿西莫夫的一篇科幻小说 看看 2006-07-10 22:25:46
讲的就是美苏对抗最后由各自的一台超级电脑达成平衡。这个平衡差点被一个会笔算乘除法的机器人打破......

2各有各的用处，用在不同的层面上 雷冬 2006-07-10 22:18:36

2文中所谈因明逻辑(并将形式逻辑作反面典型),毋庸说是模糊逻辑 2 衲子 2006-07-10 21:55:57
形式逻辑在解决某些具体问题上的局限, 学界早有认识, 所以发展了模糊逻辑（以及模式识别的其它手段）。




战争数学模型的研究, 源远流长. 美国从二战以来对此一直相当重视, 其研究成果应该是走在世界前列的.  建议先查阅些资料, 譬如:

军事系统工程
链接出处

也可以用下列关键字作文献检索:
Operations research, Lanchester combat model, game theory



这只是应用数学的一个小小分支, 与自然科学不相干. 所以,就算国防大学的那个战争数学模型强过西方类似的模型, 也不能说明问题.  举个例子, 华罗庚的优选法的成功运用,不能说明中国的自然科学将要赶英超美; 人工合成胰岛素的成功倒可以说明中国自然科学的某些领域走在了世界前列.

3挑个小错 龙骨 2006-07-10 22:14:49
最后一行，应该是牛胰岛素。据说差别还是很大的。

不过，就是牛胰岛素也足够获得诺贝尔奖了。换句话说，购牛了。
关键词(Tags): 胰岛素 牛胰岛素

4白马是马; 牛胰岛素也是胰岛素! (当然, '够'牛了) 衲子 2006-07-10 22:39:59

2讲到下棋和沙盘推演，因明逻辑还真是一个值得研究的领域 唵啊吽 2006-07-10 18:20:04
沙盘推演要模拟参战者的思维，由因明的境论入手是合理的。

现在计算机下围棋水平太低，人工智能方面形式逻辑已经是黔驴技穷了。

3这个是同意的，赞。 狐步 2006-07-13 08:23:16

3其实能搞明白因明的人没有几个。 语迟 2006-07-10 22:27:16
我只是知道孔孟老庄的逻辑体系属于因明，逻辑学界对孔孟等的逻辑体系一直没当回事，就是因为搞得明白因明的人很少。