作者sandyclaws (剩蛋老人)
看板logic
標題[請益] 一題證明題
時間Mon Nov 28 21:37:00 2011
題目: 請證明以下論證為矛盾
M→( P or Q)
~M→(~P or Q)
---------------
(M or P)& ~(M & P)
想很久想不出來
能幫忙的話感激不盡!
ps 好像也不一定證明得出來
--
╭─────────────────────────────────────╮
│
這篇文章讓你覺得？ │
│ │
│
(⊙o⊙)（￣︶￣）(▔□▔)(〒△〒)(ψ(._. )>)y(￣︶￣)y(￣ー￣；)
（#￣皿￣)│
│
略懂 瘟腥 中槍 認親 實用 高興 汗顏 翻桌 │
╰─────────────────────────────────────╯
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.245.91
1F：→ mikechan:~(M & P) <=> ~M or ~P 11/29 02:48
2F：→ mikechan:(M or P)& ~(M & P) <==> (M or P) & (~M or ~P) 11/29 02:51
3F：→ mikechan:(M or P) & (~M or ~P) => (~M => P)& (M => ~P) 11/29 02:53
4F：→ mikechan:好像條件不足 11/29 03:10
5F：→ sandyclaws:感謝樓上! 11/29 19:23