看板 [ logic ]
討論串[請益] 命題邏輯
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 命題邏輯
推噓1(1推 0噓 3→)留言4則，0人參與, 最新作者somedoubt (人獨立燕雙飛)時間18年前 (2007/09/26 10:24), 編輯資訊
0
0
0
內容預覽:
若以歸納法的方式解題，大略方式如下. 先證atomic formula不具備上述性質，再證不管多複雜的語句A，C只要A，C不具備上述性質，則從A，C以合法的規則（例如加上～，AC以or或and連接，或者A是一個以C為前件的條件句，AC做MP）獲得的語句B亦不具備上述性質，則證明步驟結束。. --.
#1
[請益] 命題邏輯
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者william0612 (Will)時間18年前 (2007/09/25 05:26), 編輯資訊
0
0
0
內容預覽:
這學期拿了一堂課叫 Logic for computer science. 但是才剛開始就被搞的有些不知所措... 現在在上的這部分叫做 Proposional Logic... 第一個作業就不知該從何下手..希望有高手能夠教教我...並建議該從何處下手^^". (a). Prove that th
(還有622個字)
首頁
上一頁
1
下一頁
尾頁