請問一個「若...則」命題的解答

看板logic作者 (NULL)時間16年前 (2009/11/27 15:31), 編輯推噓1(1推 0噓 10→)
留言11則, 3人參與, 最新討論串1/5 (看更多)
請問各位聰明的版大 P -> ~Q -> ~R 這個若則命題要怎麼解? (就是類似 P->Q = ~Q -> ~P 兩者相同的答案) 感謝各位高手的解答! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.234
→
11/27 16:17, , 1F
問題是什麼?沒有問題無法求解.
11/27 16:17, 1F
→
11/27 17:23, , 2F
不好意思 我的題意可能表達的不清楚
11/27 17:23, 2F
→
11/27 17:23, , 3F
我想要知道的是通式，就是恆等式的答案
11/27 17:23, 3F
→
11/27 17:59, , 4F
有人會問"P->Q這則命題怎麼解"這樣的問題嗎?
11/27 17:59, 4F
推
11/27 22:57, , 5F
你可以舉個例子看看 若明天下雨(P) 則我給你一百元(Q)
11/27 22:57, 5F
→
11/27 22:58, , 6F
若明天沒下雨(~P) 則我還是可以給你一百元(Q) 爽就好
11/27 22:58, 6F
→
11/27 22:58, , 7F
若明天沒下雨(~P) 則我也可以不給你一百元(~Q )
11/27 22:58, 7F
→
11/27 22:59, , 8F
接著繼續推論下去會有你想要的答案~"~
11/27 22:59, 8F
→
11/27 23:03, , 9F
P->Q ~P->Q ~P->~Q Q->P ~Q->~P Q->~P
11/27 23:03, 9F
→
11/27 23:04, , 10F
其他就應該是不成立
11/27 23:04, 10F
→
11/27 23:33, , 11F
這種推法也不對,舉例雖然也能慢慢推A句等於B句,畢竟容易亂
11/27 23:33, 11F
‣ 更多 gatsrje 的文章
文章代碼(AID): #1B3u1ldc (logic)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 5 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共5篇)
‣ 更多 gatsrje 的文章
文章代碼(AID): #1B3u1ldc (logic)