謂詞；述詞
中 文 謂詞；述詞
英 文 predicate
出 處 數學名詞-兩岸數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 謂詞；述詞 | predicate | 【數學名詞-兩岸數學名詞 】 |
| 謂詞；述詞 | predicate | 【數學名詞】 |
| 謂詞變數 | predicate variable | 【數學名詞-兩岸數學名詞 】 |
| 謂詞演算 | predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 函數運算[法]；謂詞運算[法] | functional calculus | 【數學名詞-兩岸數學名詞 】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞-兩岸數學名詞 】 |
| 一元謂詞演算 | monadic predicate calculus | 【數學名詞】 |
| 多種類謂詞演算 | many-sorted predicate calculus | 【數學名詞】 |
| 函數運算[法]；謂詞運算[法] | functional calculus | 【數學名詞】 |
| 數謂詞；數謂項 | numerical predicate | 【數學名詞】 |
| 謂詞變數 | predicate variable | 【數學名詞】 |
| 謂詞符號 | predicate symbol | 【數學名詞】 |
| 謂詞演算 | predicate calculus | 【數學名詞】 |
| 狹謂詞演算 | restricted predicate calculus | 【數學名詞】 |
| 第二層次謂詞 | second level predicate | 【數學名詞】 |
| 廣義謂詞演算 | extended predicate calculus | 【數學名詞】 |
| 算術謂詞 | arithmetic predicate | 【數學名詞】 |
| 述詞邏輯 | Predicate Logic | 【教育大辭書】 |
| 前述詞 | Antecedent | 【教育大辭書】 |
| 零位述詞 | zero place predicate | 【資訊與通信術語辭典】 |