[請益] 一題證明題

看板logic作者 (剩蛋老人)時間14年前 (2011/11/28 21:37), 編輯推噓0(005)
留言5則, 2人參與, 最新討論串1/2 (看更多)
題目: 請證明以下論證為矛盾 M→( P or Q) ~M→(~P or Q) --------------- (M or P)& ~(M & P) 想很久想不出來 能幫忙的話感激不盡! ps 好像也不一定證明得出來 -- ╭─────────────────────────────────────╮ │ 這篇文章讓你覺得? │ │ │ │(⊙o⊙)( ̄︶ ̄)(▔□▔)(〒△〒)(ψ(._. )>)y( ̄︶ ̄)y( ̄ー ̄;)(# ̄皿 ̄)│ │ 略懂 瘟腥 中槍 認親 實用 高興 汗顏 翻桌 │ ╰─────────────────────────────────────╯ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.245.91

11/29 02:48, , 1F
~(M & P) <=> ~M or ~P
11/29 02:48, 1F

11/29 02:51, , 2F
(M or P)& ~(M & P) <==> (M or P) & (~M or ~P)
11/29 02:51, 2F

11/29 02:53, , 3F
(M or P) & (~M or ~P) => (~M => P)& (M => ~P)
11/29 02:53, 3F

11/29 03:10, , 4F
好像條件不足
11/29 03:10, 4F

11/29 19:23, , 5F
感謝樓上!
11/29 19:23, 5F
文章代碼(AID): #1Equv_bs (logic)
討論串 (同標題文章)
文章代碼(AID): #1Equv_bs (logic)