第1个回答 2008-07-29
若a、b => c,则a、非c => 非b 一定成立。
用反证法即可证明。
a、b => c即a、b条件均成立的情况下,c情况一定成立。
假设不能推出,即在a、非c条件下存在条件b成立的可能。
即存在a、b、非c同时成立的可能。但若a、b同时成立,又由
a、b => c可得c一定成立,与a、b、非c同时成立存在可能产生矛盾,
故假设错误,a、非c => 非b
第2个回答 2008-07-28
a:x>0
b:y>0
c:xy>0
若x>0且y>0则xy>0
x>0且xy<0(这个地方你是不是少打了个=号,∵┐c好像应该是xy≤0,如果没有这个等号是不成立的,有这个等号就成立了)则y≤0
第3个回答 2008-07-28
不是
a,b的交集是c
a,c的补集 的交集是 a的非b部分
a的非b部分 包含于b的补集,但b的补集不全是 a 的非b部分
希望你能明白为什么补集、交集的。