作者nickywu1982 (lag很大的昵称~)
看板logic
标题Re: 请问一个「若...则」命题的解答
时间Fri Jan 8 22:20:39 2010
不好意思要借用这个标题请问一下,
今天被我妹问了他们最近要考试的题目
(自然科学概论之类的课程..我妹是文组的)
有两题
1. 试证明 (P→Q)→P
2. 前提为P^Q,是否能证明PvQ
整个被考倒了..很努力的拜了google大神
可是我现在还是只能理解P→Q的真值表
(应该只能说是大家的举例我看的懂 他之间的关连性)
麻烦各位高手指点一下 感激不尽
※ 引述《yauhh (哟)》之铭言:
: ※ 引述《gatsrje (NULL)》之铭言:
: : 请问各位聪明的版大
: : P -> ~Q -> ~R
: : 这个若则命题要怎麽解?
: : (就是类似 P->Q = ~Q -> ~P 两者相同的答案)
: : 感谢各位高手的解答!
: 你这问题看起来不构成问题,所以不知道具体该怎麽解.
: 为什麽不构成问题? 打个比喻,你的问题就好像我现在反问你一则数学式:
: (2 * 3) + 4
: "请告诉我此式的恒等式."
: 但问题是,你数学课遇过这种奇怪的问题吗?
: 恒等式,就是把跟这式子的结果相等的东西全都列出来.
: 光是具体条列式子的操作,你就会写到死掉; 何况还怎麽有系统地做恒等式推论?
: 同理,看到你这个问题,我第一个疑问就是,哪家学校的哪一堂逻辑课会出这种题目?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.116.132.189
1F:推 MathTurtle:1应该是(P->(Q->P))吧 01/08 23:46
2F:→ MathTurtle:否则当P和Q都为假时, (P->Q)->P 会为假 01/08 23:47
3F:→ nickywu1982:谢谢^^ 01/09 02:29