Re: [請益] 一題證明題

看板logic作者 (恩典)時間14年前 (2011/11/29 03:19), 編輯推噓1(1推 0噓 1→)
留言2則, 1人參與, 最新討論串2/2 (看更多)
※ 引述《sandyclaws (剩蛋老人)》之銘言： : 題目: 請證明以下論證為矛盾 : M→( P or Q) : ~M→(~P or Q) : --------------- : (M or P)& ~(M & P) : 想很久想不出來 : 能幫忙的話感激不盡! : ps 好像也不一定證明得出來 看不太懂你想要問的是什麼耶。 (1) M→( P or Q) (2) ~M→(~P or Q) (3) (M or P)& ~(M & P) 你是想要問 (1) 和 (2) 如何證出 (3)? 還是想要證明 (1) (2) (3) 彼此矛盾? 但事實上兩個都不成立: 當 M P Q T T T 這時 (1) T (2) T (3) F 所以 (1) 和 (2) 推不出 (3) 而當 M P Q T F T 這時 (1) T (2) T (3) T 所以 (1) (2) (3) 沒有彼此矛盾 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 86.27.186.91
推
11/29 19:23, , 1F
感謝您!我想證的是 1.2成立的條件下 3會矛盾
11/29 19:23, 1F
→
11/29 19:24, , 2F
我再研究看看 感謝了!
11/29 19:24, 2F
‣ 更多 MathTurtle 的文章
文章代碼(AID): #1Eqzwyac (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共2篇)
‣ 更多 MathTurtle 的文章
文章代碼(AID): #1Eqzwyac (logic)