謂詞演算

形式邏輯的一個分支，也稱為函式演算，它處理表示語句之間的邏輯連線以及語句本身。

另請參閱

哥德爾第一不完備性定理, 哥德爾第二不完備性定理, 邏輯, 謂詞, 命題演算

使用探索

更多嘗試

請引用為

Weisstein, Eric W. "謂詞演算。" 來自網路資源。 https://mathworld.tw/PredicateCalculus.html

主題分類