Question

请教逻辑推理问题

如果有两个假设h1和h2，h1可以推出关于a的结论：a＝a1，而还h2无法推出a等于什么，但h1和h2合在一起能推出a＝a2。现在根据实际数据发现a1＝a2。请问能否肯定地判定h2不成立？
非常不好意思，问题有误！应该是：“根据实际数据发现a1不等于a2”

RenéDescartes在逻辑学贴吧http://zhidao.baidu.com/question/41052886.html给出了以下答案：

已知
h1 -> a=a1
h1&h2 -> a=a2 -> a1=a2

a1 != a2 -> !h1 | !h2
所以不能肯定h2不成立，而是“h1不成立或h2不成立”，至少有一个不成立
此时，
1. 若h1成立，那么h2肯定不成立
2. 若h1不成立，但是a=a1，也不能判定h2不成立
个人认为这是推理最清楚的，当然也是正确的。

如果加上H2包含H1的条件，那么可以得到如下结论：要么H1与H2都不成立，要么H1成立而H2不成立。

最后谢谢各位解决了我在研读http://ftp.cs.ucla.edu/pub/stat_ser/R320.pdf是遇到的一大问题！

Answer 1

不能伏尘谈的
因为缺碰h1推出了a＝a1，所以a不等于a1可以推出非h1
也就是a=a2推出非h1，
而h1和h2又兄尘可以推出a=a2，则有a不等于a2推出非h1并且非h2，
也就是说不管a等于或者不等于a2都能推出非h1
也就是h1可以推出任何a为真
所以h1为假
若h2为假，则任意的a都成立，不管是a1或者a2
若h2为真，则a=a2成立

Answer 2

不能,

Answer 3

不能