[理工] 離散命題邏輯 u0424064 PTT批踢踢實業坊

作者: u0424064 (ching) 2019-11-22 16:29:14

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

作者: Ricestone (麥飯石) 2019-11-22 16:36:00

你講的意思跟詳解一樣啊，正式寫就長這樣

作者: mistel (Mistel) 2019-11-22 18:33:00

問一下那旁邊那個reasons要怎麼寫 Modus等等的記都記不起來...

作者: Ricestone (麥飯石) 2019-11-22 18:50:00

其實就MP比較特別，不然就寫中文吧

作者: u0424064 (ching) 2019-11-22 21:21:00

https://i.imgur.com/Yl5KxgF.jpg因為看到有一題是這樣不過題目是validate the statement所以可以像這題這樣寫嗎?

作者: Ricestone (麥飯石) 2019-11-22 21:27:00

詳解就是把"因為XXtrue，所以XXtrue"是用什麼依據寫出來啊簡單來說就是你認為該不該寫Reasons出來而已不然甚至真值表都可以用來驗證是否成立

作者: u0424064 (ching) 2019-11-22 22:38:00

嗯明白了所以考試時還是需要寫reasons出來比較好吧？

作者: Ricestone (麥飯石) 2019-11-22 22:43:00

我是覺得寫比較保險啦

作者: mistel (Mistel) 2019-11-22 22:52:00

原來如此，解惑了！

作者: u0424064 (ching) 2019-11-22 23:28:00

瞭解感謝~~~

繼續閱讀