以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  北大CS《离散》---关于反证法？？  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=50968)

--  作者：zshao
--  发布时间：8/4/2007 5:59:00 PM

--  北大CS《离散》---关于反证法？？
在反证法证明题思路如下：
1） 假定命题的结论不成立，
2） 进行推理，在推理中出现下列情况之一：与已知条件矛盾；与公理或定理矛盾，
3） 由于上述矛盾的出现，可以断言，原来的假定“结论不成立”是错误的。
4） 肯定原来命题的结论是正确的。


我的问题如下：

1）假设命题：
           已知条件A，条件B   =》C，在用反证法证明时候（假设 否C），
           可否用已知条件A（或 B）来推出 否B（或  否A）么？

2）推理的过程中，是推导到与已知条件矛盾，如果已知条件有多个的话，是只要推得一个条件矛盾即可，还是要推得所有的条件都矛盾才行？

--  作者：zhouhaoaaaaa
--  发布时间：8/5/2007 3:00:00 PM

--  
1)我觉得必须得使用到非C这个条件的时候，才可以那样证
否则，那直接能由已知条件A（或 B）来推出 否B（或  否A）的话，那题目本身就是错误的。
2）一个即可
--  作者：nashwhu
--  发布时间：8/16/2007 9:55:00 PM

--  
如果用非C作为条件，那么要用B（A）来证明非A(B)，要所有条件都成立只有一个不符合才能证明非C是错误的。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 46.875ms