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