作者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