[理工] 離散邏輯問題 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

是我描述能力差，謝謝你們啦！

繼續閱讀