[理工][離散]台大電機CS 99

看板Grad-ProbAsk作者 (charliejack)時間15年前 (2011/02/10 15:42), 編輯推噓0(002)
留言2則, 2人參與, 最新討論串1/1
Ture of False (B)Propositional logic does not hava a sound and complete deduction system (C)First-order logic is more powerful than propositional logic C 我想說 因為First-order logic 是可以用 propsitional logic表示 所以應該是propositional logic 比較強大 所以是False 對嗎? (B) 我完全沒頭緒~"~ 麻煩高手們解答~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.231.70.77

02/10 15:57, , 1F
B false 兩者都有
02/10 15:57, 1F

02/10 19:26, , 2F
first-order logic 有 quantifier 當然比較強~
02/10 19:26, 2F
文章代碼(AID): #1DKvRS9m (Grad-ProbAsk)