[理工] 离散逻辑问题 nO25948 PTT批踢踢实业坊

楼主: nO25948 (chenyuyan) 2017-11-15 17:10:16

https://i.imgur.com/B9QmoTm.jpg
https://i.imgur.com/JyfXhK8.jpg
想问我这样写的观念和方法对吗
我是先找有没有
1234为true，5为false的反例
没有的话就恒真
顺便祝大家考试加油，都能上自己要的学校

作者: brilliantl (brilliant) 2017-11-16 15:08:00

不太懂你的步骤的部分，为什么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大想问该怎么用，我不太懂

作者: shownlin (哈哈阿喔) 2017-11-16 20:47:00

找不到反例也不能说你证明完成，这题不是是非题你的方法其实就是矛盾证法了

作者: 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:00

n大不是已经证明了不存在反例，所以恒真。哪里有问题?

作者: shownlin (哈哈阿喔) 2017-11-16 23:39:00

可以用矛盾证法......只是原po的说法我看成“因为找不到单一反例，所以得证。”抱歉没说清楚

楼主: nO25948 (chenyuyan) 2017-11-17 01:03:00

是我描述能力差，谢谢你们啦！

继续阅读