(2)
(B)
Propositional logic does not have a sound and cmoplete deduction system.
是指說 像 (A | B) & (A | C) = A | ( B & C)
這種簡化的意思嗎?
(C)
Powerful的意思是?
(3)
如果題目把only if 改成 if 要選(C)?
正解好像是 A
訂閱：
張貼留言 (Atom)
Research Space for Linear Algebra & Discrete Mathematics
1 則留言:
(B): 這裡要問的主要是 soundness 和 completeness 的性質, 前者的大意是說這裡的推論系統只會推導出valid的式子, 後者指的是所有valid的式子皆可以被推導出來, 這個選項是false, 若要了解細節的話可參考logic或者是計算理論的相關書籍
(C): powerful指的就是表達的能力, 有點像是我們在chap 13裡在比較FSA和regular expression那樣, 一般來說, first-order logic會比propositional logic要來的powerful, second-order logic則會比first-order logic要來的powerful, 若要了解細節也請參考上述的那些書籍
(3) 是的, 就如你所說
考試時題目是寫only if還是if記得要看清楚喔
張貼留言