作者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