作者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