作者MathTurtle (恩典)
看板logic
标题Re: [请益] 一题证明题
时间Tue Nov 29 03:19:22 2011
※ 引述《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
1F：推 sandyclaws:感谢您!我想证的是 1.2成立的条件下 3会矛盾 11/29 19:23
2F：→ sandyclaws:我再研究看看 感谢了! 11/29 19:24