看板 logic 關於我們 聯絡資訊
請問各位聰明的版大 P -> ~Q -> ~R 這個若則命題要怎麼解? (就是類似 P->Q = ~Q -> ~P 兩者相同的答案) 感謝各位高手的解答! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.234
yauhh:問題是什麼?沒有問題無法求解. 11/27 16:17
gatsrje:不好意思 我的題意可能表達的不清楚 11/27 17:23
gatsrje:我想要知道的是通式,就是恆等式的答案 11/27 17:23
yauhh:有人會問"P->Q這則命題怎麼解"這樣的問題嗎? 11/27 17:59
ck6310:你可以舉個例子看看 若明天下雨(P) 則我給你一百元(Q) 11/27 22:57
ck6310:若明天沒下雨(~P) 則我還是可以給你一百元(Q) 爽就好 11/27 22:58
ck6310:若明天沒下雨(~P) 則我也可以不給你一百元(~Q ) 11/27 22:58
ck6310:接著繼續推論下去會有你想要的答案~"~ 11/27 22:59
ck6310:P->Q ~P->Q ~P->~Q Q->P ~Q->~P Q->~P 11/27 23:03
ck6310:其他就應該是不成立 11/27 23:04
yauhh:這種推法也不對,舉例雖然也能慢慢推A句等於B句,畢竟容易亂 11/27 23:33