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

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

您需要登录才可以下载或查看，没有账号？欢迎注册

×

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

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

露馅了啊公式不能改颜色

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 发表露馅了啊公式不能改颜色

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

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

丢大人了啊

不过谁能证明这个定理呢？提前声明此乃发在灌水乐园的只图一乐不存在为难大家的意思就看这种东西是否有牛人明白

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

真值表，证明从略

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

错误证明略

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

说了是鬼帖啊

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

你光看到了证明，后面还有文字的

账号		自动登录	找回密码
密码			欢迎注册

[讨论] 一个比较难的数学问题的证明， 谁可以证明