看板 [ logic ]
討論串[請益] 一題證明題
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 一題證明題
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/11/29 03:19), 編輯資訊
0
0
0
內容預覽:
看不太懂你想要問的是什麼耶。. (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.
(還有11個字)
#1
[請益] 一題證明題
推噓0(0推 0噓 5→)留言5則，0人參與, 最新作者sandyclaws (剩蛋老人)時間14年前 (2011/11/28 21:37), 編輯資訊
0
0
0
內容預覽:
題目: 請證明以下論證為矛盾. M→( P or Q). ~M→(~P or Q). ---------------. (M or P)& ~(M & P). 想很久想不出來. 能幫忙的話感激不盡!. ps 好像也不一定證明得出來. --. ╭────────────────────────────
(還有45個字)
首頁
上一頁
1
下一頁
尾頁