述詞邏輯(predicate logic) 比命題邏輯(propositional logic) 多兩個量化詞,分別是全稱量化詞(universal quantifier) 和存在量化詞(existential ...
確定! 回上一頁