🚧述詞╱predicate

╱🚧

數學 ⟩ 邏輯 ⟩ 述詞╱predicate

含有參數(parameter)的敘述，參數的部分代入引數(argument)後即成為「命題」，這種敘述稱為「述詞╱predicate」，簡單說就是「帶有變數的命題」，例如：

• $A(x):x>3$ ，$A(2)$ 為「假」，其中 $x$ 為參數， $2$ 為引數。

• $B(x,y):x+y=5$，$B(2,3)$ 為「真」，其中 $(x,y)$ 為參數， $(2,3)$ 為引數。

👥 相關

• 「集合」就是「predicate」

📗 參考

• wiki ⟩ Predicate (mathematical logic)

• Discrete Mathematics (Oscar Levin) ⟩ 3.3 Quantifiers & Predicate Logic (p.148)

• 中研院 ⟩ Predicate Logic (PDF)

• wiki ⟩ First-order logic

• 國家教育研究院 ⟩ 樂詞網 ⟩ 謂詞；述詞