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

无心人 · 发表于 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

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

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

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