|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 召唤斑竹 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=59347) |
|
-- 作者：tieren -- 发布时间：3/2/2008 10:56:00 PM -- 召唤斑竹 我在书上见到过这种情况 要证 aΛb=>c 用反证法既~c正确 后构造出一个集合S还有一个元素x 如果x属于S则能推出x不属于S 如果x不属于S则能推出x属于S 推出矛盾 命题成立 证毕 这是为什么呢？用的什么原理呢？书上有相关定理吗？
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |