作者yauhh (哟)
看板logic
标题Re: 请问一个「若...则」命题的解答
时间Fri Nov 27 23:40:05 2009
※ 引述《gatsrje (NULL)》之铭言：
: 请问各位聪明的版大
: P -> ~Q -> ~R
: 这个若则命题要怎麽解?
: (就是类似 P->Q = ~Q -> ~P 两者相同的答案)
: 感谢各位高手的解答!
你这问题看起来不构成问题,所以不知道具体该怎麽解.
为什麽不构成问题? 打个比喻,你的问题就好像我现在反问你一则数学式:
(2 * 3) + 4
"请告诉我此式的恒等式."
但问题是,你数学课遇过这种奇怪的问题吗?
恒等式,就是把跟这式子的结果相等的东西全都列出来.
光是具体条列式子的操作,你就会写到死掉; 何况还怎麽有系统地做恒等式推论?
同理,看到你这个问题,我第一个疑问就是,哪家学校的哪一堂逻辑课会出这种题目?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.109.40