作者nosbar (小潞的Q)
看板logic
标题Re: 请问一个「若...则」命题的解答
时间Sun Jan 17 12:45:12 2010
※ 引述《Searle (♂拥抱後的寂寞♀)》之铭言：
: ※ 引述《nickywu1982 (lag很大的昵称~)》之铭言：
: : 不好意思要借用这个标题请问一下，
: : 今天被我妹问了他们最近要考试的题目
: : (自然科学概论之类的课程..我妹是文组的)
: : 有两题
: : 1. 试证明 (P→Q)→P
: 有给前提吗？
感觉题目应该是 P→(Q→P)，不然PQ为F的时候整个为假捏...
P→(Q→P)的话
1. P assumption
2. ~QvP
3. Q→P
---------
4. P→(Q→P)
: : 2. 前提为P^Q，是否能证明PvQ
: 1. P^Q P
: 2. P Simp 1
: 3. PvQ Add 2
: 不知道这样对不对，恳请指教XD
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.117.216.144