→ B0038412:B false 兩者都有 02/10 15:57
→ BenLinus:first-order logic 有 quantifier 當然比較強~ 02/10 19:26
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