楼主:
nO25948 (chenyuyan)
2017-11-15 17:10:16https://i.imgur.com/B9QmoTm.jpg
https://i.imgur.com/JyfXhK8.jpg
想问我这样写的观念和方法对吗
我是先找有没有
1234为true，5为false的反例
没有的话就恒真
顺便祝大家考试加油，都能上自己要的学校
不太懂你的步骤的部分，为什么1. A, B为true 2.A^B为true题目问这个式子是不是恒真，意思是不管A,B,C,D是trueor false，这个式子都是true，所以我觉得不能这样假设，如果要用假设的，要考虑所有可能的组合
作者:
JKLee (J.K.Lee)
2017-11-16 19:09:00我觉得可以用反证法
楼主:
nO25948 (chenyuyan)
2017-11-16 19:33:00我是先假设1234为true，所以得A,B为true然后true^true为true，在去推D or ~C一定要true最后因为找不到1234为true 5为false的反例，所以恒真所以题目不是问只要1234true D就永远为true吗J大想问该怎么用，我不太懂
找不到反例也不能说你证明完成，这题不是是非题你的方法其实就是矛盾证法了
作者:
JKLee (J.K.Lee)
2017-11-16 23:07:00为何这题不能用矛盾证法? 难道矛盾证法的效力较弱?
楼主:
nO25948 (chenyuyan)
2017-11-16 23:34:00所以这样写拿不到分吗=_=那我只剩真值表了
作者:
JKLee (J.K.Lee)
2017-11-16 23:37:00n大不是已经证明了不存在反例，所以恒真。哪里有问题?
可以用矛盾证法......只是原po的说法我看成“因为找不到单一反例，所以得证。”抱歉没说清楚
楼主:
nO25948 (chenyuyan)
2017-11-17 01:03:00是我描述能力差，谢谢你们啦！