[理工] 離散 命題邏輯

[u0424064 (ching)]

https://i.imgur.com/I4VxURA.jpg
想問這題證明一定要這樣寫嗎？
還是可以直接假設statement is true
則A,B,(B—>C) ... is true
所以C is true,則C’ is false
因此D is true,  我可以用這個方式證嗎?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 110.26.1.79 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1574411356.A.60C.html
→ Ricestone: 你講的意思跟詳解一樣啊，正式寫就長這樣
→ mistel: 問一下那旁邊那個reasons要怎麼寫 Modus等等的記都記不起
→ mistel: 來...
→ Ricestone: 其實就MP比較特別，不然就寫中文吧
→ u0424064: https://i.imgur.com/Yl5KxgF.jpg
→ u0424064: 因為看到有一題是這樣
→ u0424064: 不過題目是validate the statement
→ u0424064: 所以可以像這題這樣寫嗎?
→ Ricestone: 詳解就是把"因為XXtrue，所以XXtrue"是用什麼依據寫出
→ Ricestone: 來啊
→ Ricestone: 簡單來說就是你認為該不該寫Reasons出來而已
→ Ricestone: 不然甚至真值表都可以用來驗證是否成立
→ u0424064: 嗯  明白了  所以考試時還是需要寫reasons出來比較好吧
→ u0424064: ？
→ Ricestone: 我是覺得寫比較保險啦
推 mistel: 原來如此，解惑了！
→ u0424064: 瞭解  感謝~~~