作者u0424064 (ching)
看板Grad-ProbAsk
標題[理工] 離散 命題邏輯
時間Fri Nov 22 16:29:14 2019
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://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1574411356.A.60C.html
1F:→ Ricestone: 你講的意思跟詳解一樣啊,正式寫就長這樣 11/22 16:36
2F:→ mistel: 問一下那旁邊那個reasons要怎麼寫 Modus等等的記都記不起 11/22 18:33
3F:→ mistel: 來... 11/22 18:33
4F:→ Ricestone: 其實就MP比較特別,不然就寫中文吧 11/22 18:50
6F:→ u0424064: 因為看到有一題是這樣 11/22 21:21
7F:→ u0424064: 不過題目是validate the statement 11/22 21:22
8F:→ u0424064: 所以可以像這題這樣寫嗎? 11/22 21:23
9F:→ Ricestone: 詳解就是把"因為XXtrue,所以XXtrue"是用什麼依據寫出 11/22 21:27
10F:→ Ricestone: 來啊 11/22 21:27
11F:→ Ricestone: 簡單來說就是你認為該不該寫Reasons出來而已 11/22 21:34
12F:→ Ricestone: 不然甚至真值表都可以用來驗證是否成立 11/22 21:38
13F:→ u0424064: 嗯 明白了 所以考試時還是需要寫reasons出來比較好吧 11/22 22:38
14F:→ u0424064: ? 11/22 22:38
15F:→ Ricestone: 我是覺得寫比較保險啦 11/22 22:43
16F:推 mistel: 原來如此,解惑了! 11/22 22:52
17F:→ u0424064: 瞭解 感謝~~~ 11/22 23:28