作者:
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是我描述能力差，謝謝你們啦！