以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  关于习题三第5题和第6题的证明  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=76131)


--  作者:xuchao1221
--  发布时间:7/23/2009 11:25:00 PM

--  关于习题三第5题和第6题的证明
在习题解析中,第5题有这样的结论(A=B=空集时 A->B=B->A={空集}<>空集)
我想问这是为什么?如果这个结论成立的话,那么第6题,令A=C=空集,B<>空集,则
C->A={空集},而C->B=空集,那么C->A不属于C->B,结论就不成立了。


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
27.344ms