[理工] 離散 命題邏輯

看板Grad-ProbAsk作者 (ching)時間4年前 (2019/11/22 16:29), 編輯推噓1(1推 0噓 16→)
留言17則, 3人參與, 4年前最新討論串1/1
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
→
11/22 16:36, 4年前 , 1F
你講的意思跟詳解一樣啊，正式寫就長這樣
11/22 16:36, 1F
→
11/22 18:33, 4年前 , 2F
問一下那旁邊那個reasons要怎麼寫 Modus等等的記都記不起
11/22 18:33, 2F
→
11/22 18:33, 4年前 , 3F
來...
11/22 18:33, 3F
→
11/22 18:50, 4年前 , 4F
其實就MP比較特別，不然就寫中文吧
11/22 18:50, 4F
→
11/22 21:21, 4年前 , 5F
11/22 21:21, 5F
→
11/22 21:21, 4年前 , 6F
因為看到有一題是這樣
11/22 21:21, 6F
→
11/22 21:22, 4年前 , 7F
不過題目是validate the statement
11/22 21:22, 7F
→
11/22 21:23, 4年前 , 8F
所以可以像這題這樣寫嗎?
11/22 21:23, 8F
→
11/22 21:27, 4年前 , 9F
詳解就是把"因為XXtrue，所以XXtrue"是用什麼依據寫出
11/22 21:27, 9F
→
11/22 21:27, 4年前 , 10F
來啊
11/22 21:27, 10F
→
11/22 21:34, 4年前 , 11F
簡單來說就是你認為該不該寫Reasons出來而已
11/22 21:34, 11F
→
11/22 21:38, 4年前 , 12F
不然甚至真值表都可以用來驗證是否成立
11/22 21:38, 12F
→
11/22 22:38, 4年前 , 13F
嗯 明白了 所以考試時還是需要寫reasons出來比較好吧
11/22 22:38, 13F
→
11/22 22:38, 4年前 , 14F
？
11/22 22:38, 14F
→
11/22 22:43, 4年前 , 15F
我是覺得寫比較保險啦
11/22 22:43, 15F
推
11/22 22:52, 4年前 , 16F
原來如此，解惑了！
11/22 22:52, 16F
→
11/22 23:28, 4年前 , 17F
瞭解 感謝~~~
11/22 23:28, 17F
‣ 更多 u0424064 的文章
文章代碼(AID): #1TrvnSOC (Grad-ProbAsk)