Re: 請問一個「若...則」命題的解答

看板logic作者 (lag很大的暱稱~)時間16年前 (2010/01/08 22:20), 編輯推噓1(102)
留言3則, 2人參與, 最新討論串3/5 (看更多)
不好意思要借用這個標題請問一下, 今天被我妹問了他們最近要考試的題目 (自然科學概論之類的課程..我妹是文組的) 有兩題 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

01/08 23:46, , 1F
1應該是(P->(Q->P))吧
01/08 23:46, 1F

01/08 23:47, , 2F
否則當P和Q都為假時, (P->Q)->P 會為假
01/08 23:47, 2F

01/09 02:29, , 3F
謝謝^^
01/09 02:29, 3F
文章代碼(AID): #1BHpywSq (logic)
討論串 (同標題文章)
文章代碼(AID): #1BHpywSq (logic)