名詞解釋: 述詞邏輯是邏輯學的一個基礎組成部分,旨在分析命題(Proposition)內部結構之各種基本形式。 在邏輯學中有所謂的命題邏輯(Propositional Logic)及述詞邏輯。
確定! 回上一頁