闲人免进

以下是引用叮叮当当在2005-9-12 10:28:17的发言：

所以说，我那么麻烦，写了那么多假设，就是要说只有B#Y时，才可推得E=Y or E=Z是对的，建议拿支笔记下来看看，效果会好些

实际上我是从直觉上首先就怀疑你的推理有可能得出你要的结论。

你觉得我在97楼的反驳有什么问题？（帖子我修改过，可能你没注意）

即使你的推理正确，你也没有穷尽所有情况。E=Y or E=Z包括以下五种情况：

E=Y=Z

E=Y, E#Z, E=Y=B

E=Y, E#Z, E#B

E=Z, E#Y, E=Z=B

E=Z, E#Y, E#B

你只讨论了第1，2，4三种情形（况且我觉得你的讨论不对）

长这么大，从来没有现在这么郁闷过，我再写下去，真的要破纪录了，我现在的手已经不听使唤了，在发抖。（这是我本生的缘故，前面告诉过你了）

先休息一下，你也在想想，我也在想想：(我们的目的是证明B=Y,E#Y and E#Z,拿支笔与纸，把目的写下来，否则你会看昏的）

以下我讨论的总开始都是从A#Z出发的（这也请记下）

若E=Y=Z 当B=Y则E=B=Y=Z, 题目中条件B=Y则A=Z，则与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Y#Z

当B#Y则有可能A#Z,则E=Y=Z有可能成立

若E=Y,E#Z, 当B=Y则E=Y=B,题目中条件B=Y则A=Z,则与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Y,E#Z

若E=Y,E#Z, 当B#Y即B#E则有可能A#Z,则E=Y,E#Z有可能成立

若E=Z,E#Y 当B=Y时，由题目中条件B=Y则A=Z，又因为E=Z则E=Z=A与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Z,E#Y

若E=Z,E#Y 当B#Y时则有可能A#Z，推得E=Z,E#Y有可能成立（但你反过来不能说B=Y,.....因为当B=Y时，由题目中条件B=Y则A=Z，又因为E=Z则E=Z=A与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Z,E#Y

总结一下，B=Y,E#Y#Z （这个过程是循环型的，只要一个否定，就又循环到前面的条件）

[此贴子已经被作者于2005-9-12 12:22:28编辑过]

以下是引用叮叮当当在2005-9-12 11:48:25的发言：

长这么大，从来没有现在这么郁闷过，我再写下去，真的要破纪录了，我现在的手已经不听使唤了，在发抖。（这是我本生的缘故，前面告诉过你了）

先休息一下，你也在想想，我也在想想：(我们的目的是证明B=Y,E#Y and E#Z,拿支笔与纸，把目的写下来，否则你会看昏的）

以下我讨论的总开始都是从A#Z出发的（这也请记下）

（对不起，我也郁闷至极，以致看完你的第一句推导就看不下去了）

若E=Y=Z 当B=Y则E=B=Y=Z, 题目中条件B=Y则A=Z，则与我总开始出发的条件A#Z矛盾（不用那么麻烦，由你的总出发点A#Z直接可以推出B#Y的），可推出B=Y,E#Y#Z（这句就看不懂了）

当B#Y则有可能A#Z,则E=Y=Z有可能成立

（如果你确信你已经写得足够清楚了，那就照此文本逐句讨论吧，以下我没看）

若E=Y,E#Z, 当B=Y则E=Y=B,题目中条件B=Y则A=Z,则与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Y,E#Z

若E=Y,E#Z, 当B#Y即B#E则有可能A#Z,则E=Y,E#Z有可能成立

若E=Z,E#Y 当B=Y时，由题目中条件B=Y则A=Z，又因为E=Z则E=Z=A与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Z,E#Y

若E=Z,E#Y 当B#Y时则有可能A#Z，推得E=Z,E#Y有可能成立（但你反过来不能说B=Y,.....因为当B=Y时，由题目中条件B=Y则A=Z，又因为E=Z则E=Z=A与我总开始出发的条件A#Z矛盾，可推出B=Y,E#Z,E#Y

总结一下，B=Y,E#Y#Z （这个过程是循环型的，只要一个否定，就又循环到前面的条件）

以下是引用一刹春在2005-9-12 12:58:44的发言：

（对不起，我也郁闷至极，以致看完你的第一句推导就看不下去了）

A:努力努力，希望你能把我的第一个推导看完，不要嫌麻烦嘛。

若E=Y=Z 当B=Y则E=B=Y=Z, 题目中条件B=Y则A=Z，则与我总开始出发的条件A#Z矛盾（不用那么麻烦，由你的总出发点A#Z直接可以推出B#Y的) (我写B=Y的一大堆就是想证明B=Y在这里与E=Y=Z矛盾，可推出B=Y,E#Y）(这里能想通吗？）

刚刚做了一下，我是5分。

0-13分者为优秀（上限10％）；14－19分者为良好（20％）；20－25分者为中等（30％）；26－48分者为不佳（下限40％）。你的分数是5分，属于优秀。

[此贴子已经被作者于2005-9-12 13:25:19编辑过]

想不通。（不许苦笑！）

是不是找个第三者帮我想想？

楼上的Dixit，我们在纠缠的这道题你的答案是什么？

哈哈 12分 还在优秀行列啊

说实话，有一点笑，但这很正常的，我还犯过3+4=12的笑话呢！ 总比不懂装懂好太多了，这也是我比较喜欢，愿意写下去的原因。

B=Y在这里与E=Y=Z矛盾 这里能想通吧！

接着来，在B=Y中与E=Y=Z发生矛盾有两种可能，一是,E=Y,但E#Z ; 二是B=Z,E#Y 这里能想通吧！

呜呜，我要放弃了。我觉得你的推理是乱来。但我不知如何表达清楚。

我的观点是：

由题设可以得出两个结论：

1、A#Z推出B#Y（记作：命题a=>命题b）

2、A#Z推出E=Y or Z（记作：命题a=>命题c）

即从一个命题中同时推出两个并行命题

要求证明的是B=Y推出E#Y and Z，即E=Y or Z推出B#Y（即命题c=>命题b）

即成“命题a=>命题c=>命题b”的链式结构

在没有更多条件的情况下，要改变题目的逻辑结构，我觉得是不可能的，因此不能得证。

你的角度为什么始终不肯放在B=Y or B#Y上？（我也不知怎么讲，但肯定这是对的）

我的想法是a#z是总条件，从而讨论不同的分类上b=y or b#y 的情况。从而来看结论，照你这样子去想，是可能证不出的。

我们还是不要在这上面发了，要发发到我的email地址elven_wangyw@hotmail.com，再次声明我的推理没乱来！！我倒是真的希望你去找别人来看、来评好了。warsky、东亚富、nie、admin........这一系列人，纠正我的“错误”如果大家都说是我错，那我就一个月不上这个网了，拼命读书去，金钱啊、积分啊，我都不要了。谁要就给谁。

[此贴子已经被作者于2005-9-12 15:50:33编辑过]