[理工] 離散 邏輯問題

[nO25948 (chenyuyan)]

https://i.imgur.com/B9QmoTm.jpg
https://i.imgur.com/JyfXhK8.jpg
想問我這樣寫的觀念和方法對嗎

我是先找有沒有
1234為true，5為false的反例
沒有的話就恆真

順便祝大家考試加油，都能上自己要的學校

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.139.216.194
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1510737019.A.2E4.html
→ brilliantl: 不太懂你的步驟的部分，為什麼1. A, B為true  2.A^B為
→ brilliantl: true
→ brilliantl: 題目問這個式子是不是恆真，意思是不管A,B,C,D是true
→ brilliantl: or false，這個式子都是true，所以我覺得不能這樣假設
→ brilliantl: ，如果要用假設的，要考慮所有可能的組合
推 JKLee: 我覺得可以用反證法
→ nO25948: 我是先假設1234為true，所以得A,B為true
→ nO25948: 然後true^true為true，在去推D or ~C一定要true
→ nO25948: 最後因為找不到1234為true 5為false的反例，所以恆真
→ nO25948: 所以題目不是問只要1234true D就永遠為true嗎
→ nO25948: J大想問該怎麼用，我不太懂
推 shownlin: 找不到反例也不能說你證明完成，這題不是是非題
→ shownlin: 你的方法其實就是矛盾證法了
推 JKLee: 為何這題不能用矛盾證法? 難道矛盾證法的效力較弱?
→ nO25948: 所以這樣寫拿不到分嗎=_=那我只剩真值表了
→ JKLee: n大不是已經證明了不存在反例，所以恆真。哪裡有問題?
→ shownlin: 可以用矛盾證法......只是原po的說法我看成「因為找不
→ shownlin: 到單一反例，所以得證。」
→ shownlin: 抱歉沒說清楚
→ nO25948: 是我描述能力差，謝謝你們啦！