[請益] 一題證明題

[sandyclaws (剩蛋老人)]

題目: 請證明以下論證為矛盾


 M→( P or Q)

~M→(~P or Q)
---------------

(M or P)& ~(M & P)





想很久想不出來


能幫忙的話感激不盡!


ps 好像也不一定證明得出來

--
╭─────────────────────────────────────╮
│  這篇文章讓你覺得？                                                      │
│                                                                          │
│(⊙o⊙)（￣︶￣）(▔□▔)(〒△〒)(ψ(._. )>)y(￣︶￣)y(￣ー￣；)（#￣皿￣)│
│ 略懂     瘟腥     中槍    認親      實用      高興      汗顏       翻桌  │
╰─────────────────────────────────────╯

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.245.91
→ mikechan:~(M & P) <=>  ~M or ~P
→ mikechan:(M or P)& ~(M & P)   <==> (M or P) & (~M or ~P)
→ mikechan:(M or P) & (~M or ~P) => (~M => P)& (M => ~P)
→ mikechan:好像條件不足
→ sandyclaws:感謝樓上!