高階謂詞演算

高階謂詞演算(higher-order predicate calculus)即“廣義謂詞演算”。廣義謂詞邏輯的形式系統。詳“高階邏輯”。

相關詞條

熱門詞條

聯絡我們