晴朗，这回是你错了。    

【大枣.】 于 06/26/01 13:56:23 加贴在 闪亮的日子 ：

laomii是对的，
命题“因为a 所以b ”无法推出“not a 所以not b”，但能推出“NOT B 所以 NOT A”（反之亦然）
这个和数学上的“命题等同于其逆否命题”一样。

举个例子说，从命题“我思考，所以上帝发笑”一定可以推出“因为上帝没发笑，所以我没有思考”；但不能推出“因为我没思考，所以上帝没发笑”——因为无论我思考或没思考上帝都有可能发笑，最初的命题并没有否定掉“我没思考，但上帝也发笑”这种可能，虽然我们平时说话时似乎暗含了这种预设。
上帝很可能是因为自己开心了，所以发笑。

请访问我们的网站GiveMe!NEt，参与论坛讨论