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