當我們說A是B的一個蘊含(implication),就表示A可以從B推導出來。 ... 在邏輯裡有兩個重要定理,分別是健全性(soundness)和完備性(completeness)。
確定! 回上一頁