看板 [ logic ]
討論串[請益] 邏輯三段推論2
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 邏輯三段推論2
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者yauhh (喲)時間16年前 (2009/04/09 07:31), 編輯資訊
0
0
0
內容預覽:
(A & C & not D) -> _. (A & not B & not D) -> _. 推導 A & not D -> B & not C:. A & not D = (A & not D) & (C | not C) = (A & C & not D) | (A & not C & not
(還有315個字)
#1
[請益] 邏輯三段推論2
推噓2(2推 0噓 1→)留言3則，0人參與, 最新作者ntddt (哀便毛)時間16年前 (2009/04/09 01:50), 編輯資訊
0
0
0
內容預覽:
請教由. (8): All A and C and not D are contradictory. (9): All A and not B and not D are contradictory. 怎推導出. (10): All A and not D are B and not C. 步驟愈詳
首頁
上一頁
1
下一頁
尾頁