Research Space for Linear Algebra & Discrete Mathematics
因為你第三行展開有誤.你再去驗算看看
回太快了...其實你還沒化簡完整而已，繼續做下去就會得到相同的結果.
有嗎?我找不到耶你可以指出在哪嗎?
是喔 好 我try看看
我覺得老師寫錯了...直接消是錯的.老師直接消的部分正確應該是(a且b)或(a'且b')才能消掉，所以結果是不一樣的.
有嗎??我導一導又回到了第一行@@你可以導給我看看嗎?而且我有個疑問了若一個良式導到0不就代表矛盾即代表代任何值皆為False不過(a v b)and(bar(a) v bar(b))在代入a=0 b=1 和a=1 b=0是得到true這樣不就跟導到0矛盾了??
以這題來說有可能喔 不過記得老師筆記有一題95清大的他的確是這樣消的怪怪...
如果我上課有這樣講, 那應該是講錯一半了, 麻煩同學訂正一下, 不能直接這樣消, Resolution rule只有一方向對, 如下:[(a or b) and (not a or c)] -> b or c回來的命題不對, 所以一般若可以推導就拆開, 如果覺得拆開太麻煩, 最後可能得用到些許的Truth table
記得老師說過括號內是join 括號外是 meet 就可以直接消 最後剩下的項再meet起來
因為你第三行展開有誤.你再去驗算看看
回覆刪除回太快了...其實你還沒化簡完整而已，繼續做下去就會得到相同的結果.
回覆刪除有嗎?
回覆刪除我找不到耶
你可以指出在哪嗎?
是喔 好 我try看看
回覆刪除我覺得老師寫錯了...直接消是錯的.
回覆刪除老師直接消的部分正確應該是(a且b)或(a'且b')才能消掉，所以結果是不一樣的.
有嗎??
回覆刪除我導一導又回到了
第一行@@
你可以導給我看看嗎?
而且我有個疑問了
若一個良式導到0
不就代表矛盾
即代表代任何值皆為False
不過
(a v b)and(bar(a) v bar(b))
在代入a=0 b=1 和a=1 b=0
是得到true
這樣不就跟導到0矛盾了??
以這題來說
回覆刪除有可能喔
不過
記得老師
筆記有一題95清大的
他的確是這樣消的
怪怪...
如果我上課有這樣講, 那應該是講錯一半了, 麻煩同學訂正一下, 不能直接這樣消, Resolution rule只有一方向對, 如下:
回覆刪除[(a or b) and (not a or c)] -> b or c
回來的命題不對, 所以一般若可以推導就拆開, 如果覺得拆開太麻煩, 最後可能得用到些許的Truth table