俺8分！

我没看完你的推理，但存在问题。当A#Z时，若E=Y，则E#B；若E=Z，则E是否等于B均可。因此不能得出E一定不等于B。

我得了31分，是真的“刚刚出头”那种。

[UserName=一刹春]

对不起，不是我存心要靠着帖子换分，才没写完我的推理，只是我写这东西很慢，加上我没耐性，喜欢简单说（呵呵，语文功底太差了），甚至省略....（老师也曾指出我的这个毛病）抱歉抱歉，这次我一定写完整： 原先条件： 已知B=Y , 推得A=Z; 若A#Z , 则E=Y or E=Z 1、假设E=B=Y , 则A=Z ，因为A#Z时，E=Y, 推得与假设E=Y=B成立条件A#Z相矛盾，则E=Y要成立，则B#Y 2、假设E=Z=Y , （小分支一）若B=Y , 则A=Z , 与假设E=Z=Y成立条件A#Z相矛盾，则B#Y （小分支二）若B#Y , 则假设E=Z=Y可以成立 总结2，E=Z=Y成立条件是B#Y 3、假设E=Z=B , （小分支一）若B=Y , 则A=Z , 与假设E=Z=Y成立条件A#Z相矛盾，则B#Y （小分支二）若B#Y , 则假设E=Z=B可以成立 总结3，E=Z=B成立条件是B#Y 总结1,2,3, E=Y or E=Z成立条件是B#Y（从上述论证中可以得出这是充要条件），因此，若B=Y , 则E#A and E#Z是对的。

PS: 1、第16题大概是要换元思想，我下次写给你（如果算出的话） 2、作为这是我写得最长的帖，我有个小要求，把休闲吧中丢尽全世界男人的脸的帖子删掉好吗？（每看到这个就想吐，恶心死了） 3、引用一刹春

说实话，我还是觉得你很聪明，是蒸的，不是煮的。其中有一点是凭感觉的说的，不要误会，没有其他意思。呵呵，想到刚来这里时发的第一封帖子是被你删的，理由为灌水，当时感到莫名其妙的，穷骂你，如果那时你穷打喷嚏的话.......sorry.....嘻嘻。 讲得太多了，看来要定员了，嘻~，我可不想让其他人知道这件事[/UserName]

[此贴子已经被作者于2005-9-12 1:08:54编辑过]

不对啊，不对。

1、假设E=B=Y , 则A=Z ，因为A#Z时，E=Y, 推得与假设E=Y=B成立条件A#Z相矛盾，则E=Y要成立，则B#Y “A#Z时，E=Y”并不能推出“E=Y时必须有A#Z”，因此也就不能与“E=B=Y , 则A=Z”相矛盾。

接下来就不说了。

[UserName=叮叮当当]

或许你真的应该借点耐性多写几句，因为碰上我了。我这里有个半仙说像我这样的白羊座就是急性子。

另，最近一直有人在鼓励我，夸我聪明云云。如果真的度过了这趟难关，那这里就先谢谢你了（否则收回）。

又另，我在休闲吧没有权限，你只能将就一下补充点胃酸了。

再另，你骂我的帖我要去追查一下，哼哼

[/UserName]

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

我觉得这个判断是错的。

B#Y和E=Y or E=Z是从A#Z中推出来的两个并行结论，它们两者之间没有没有关系。

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

[UserName=一刹春]另外我骂你的话，那是原来，在网站上可没写哦，现在不敢了，一定对你大大赞。我是狮子的，应该也是属于急性子，另外，你可把我当男人看，有什么话，直说无妨，不好听得也没关系，我不太介意这些

[/UserName]

[此贴子已经被作者于2005-9-12 10:35:46编辑过]

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

你觉得我在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编辑过]

刚刚做了一下，我是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编辑过]

我倒是真的希望你去找别人来看、来评好了。warsky、东亚富、nie、admin........这一系列人，越多越好，来纠正我的“错误”，如果大家都说是我错，那我就一个月不上这个网了，拼命读书去，金钱啊、积分啊，我都不要了。谁要就给谁。

我一直认为我的理解没错，明天我正好要去上课，我去问问看老师，他如果说是我错的话，那我就任你处置；相对的，如果我的思路没问题的话，我还是会坚持到底的。

甚好！版上的大人们未必有闲情光顾这个水帖，我问了身边的两个猪头，都是站在我这边的。但愿你的老师能一锤定音。anyway，不要赌气不上论坛哦。

晚安了，做个好梦

8分!优秀!

算了，没人治得了你了，明天记得听老师一声劝。

我把我的老师搞昏了，目前仍在考虑中..........，现在，同意你的有一点，同意我的也有，我那些同学只要是用反证法的都和我的结论差不多。你的想法我大概是明白了是指：

当b=y推得a=z,可得a#z推得b#y

当a#z推得e=y or e=z，可得e#y and e#z推得a=z

因而不能判断b=y与e#y and e#z的关系？

我现在有一点疑惑，e#y and e#z推得a=z,你认同

则假设b=y,则e#b and e#z推得a=z 你同意吗？

[此贴子已经被作者于2005-9-13 17:08:35编辑过]

这道题很烦，真想去揍出题的人，连我自己有时看发看发也会看昏。

另外，我要说明的是，我只是一个月不上，不代表一直不上，钱呢，我也是会给的，但我不会给没帮助我的人。当然，如果我真的失误的话。我的老师本来是赞同你的，可惜又被我搞糊涂了。我现在按照你的角度去考虑，可惜没进展。上面的不知你看没？

[UserName=一刹春]刚刚看了一下我的财务状况：

如果是我错的话，那我这些都给你了，一个月以后是知错就改的叮叮当当..

然而个人附赠一句话：let history to be the final judge of my deeds

[/UserName]

[此贴子已经被作者于2005-9-13 22:50:45编辑过]

我的观点在109楼说得再清楚不过。

关于118楼，b=y已经足够推出a=z，e#y and z也足够推出a=z，所以在b=y的前提下，e#y and z当然也能推出a=z，因为b=y是个可有可无的累赘条件。（但是这里没有显示b=y和e#y and z之间的任何关系，也没有保证这两者之间不会有冲突）

而且，对于你对我给出的反例的质疑，我觉得很莫名。

[UserName=叮叮当当]

俺还是颇有点闲钱的，所以你还是把钱收好吧，把问题讨论清楚要紧。（奇怪，你怎么会有这么多钱？）

[/UserName]