无心人 发表于 2008-4-26 19:54:05

一个比较难的数学问题的证明, 谁可以证明

证明$not p ^^^ not q \rarr (p \harr q)$是形式定理

无心人 发表于 2008-4-26 19:54:57

:lol

露馅了啊
公式不能改颜色

kenmark 发表于 2008-4-26 20:13:52

哈哈,公式还没出来,居然无心拖了一下,白色的“证明:”呵呵

无心人 发表于 2008-4-26 20:16:56

:)

本来想开个玩笑
发个鬼帖

随便找的一个不是难题的难题

结果,哎

gxqcn 发表于 2008-4-26 20:18:26

原帖由 无心人 于 2008-4-26 19:54 发表 http://images.5d6d.net/dz60/common/back.gif
:lol

露馅了啊
公式不能改颜色

因为数学公式在js文件中内部被强制设定为blue了,
如果不强制的话,就可以沿用外部设定的颜色了,但可能搞得五颜六色的,反而不美观也不醒目了。

无心人 发表于 2008-4-26 20:34:55

:M:

丢大人了啊

:*-^

:lol

不过

谁能证明这个定理呢?

提前声明

此乃发在灌水乐园的

只图一乐

不存在为难大家的意思

就看这种东西是否有牛人明白

kenmark 发表于 2008-4-26 21:18:56

真值表,证明从略

无心人 发表于 2008-4-26 22:28:07

:lol

错误
证明略

无心人 发表于 2008-4-26 22:28:55

说了

是鬼帖啊

无心人 发表于 2008-4-26 23:07:32

:)

你光看到了证明,后面还有文字的
页: [1]
查看完整版本: 一个比较难的数学问题的证明, 谁可以证明