[理工] [離散]-邏輯

看板Grad-ProbAsk作者 (薯條)時間15年前 (2010/04/11 21:05), 編輯推噓1(1推 0噓 6→)
留言7則, 2人參與, 最新討論串4/15 (看更多)
判斷下列formula真假: 1. (P->Q)^(P->(Q->R))->(P->R) 請問要如何判斷此題的真假 謝謝各位囉~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.113.130.64
推
04/11 21:41, , 1F
最直觀的做法就是畫真值表，若輸出全為1，則為true
04/11 21:41, 1F
→
04/11 21:42, , 2F
另一個做法就是把題目拆成一個若p則q的命題
04/11 21:42, 2F
→
04/11 21:42, , 3F
找反例是否也可以呢?謝謝
04/11 21:42, 3F
→
04/11 21:43, , 4F
若可找到p是false而q是true則此敘述是false
04/11 21:43, 4F
→
04/11 21:43, , 5F
可以，不過那只適用於此敘述是false的情況
04/11 21:43, 5F
→
04/11 21:44, , 6F
因為，如果此敘述恆為true，是找不到反例
04/11 21:44, 6F
→
04/11 21:46, , 7F
謝謝
04/11 21:46, 7F
‣ 更多 chocosan 的文章
文章代碼(AID): #1BmSasir (Grad-ProbAsk)
討論串 (同標題文章)
完整討論串 (本文為第 4 之 15 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共15篇)
‣ 更多 chocosan 的文章
文章代碼(AID): #1BmSasir (Grad-ProbAsk)