---
description: ╱🚧
---

# 述詞╱predicate

[數學](../math) ⟩ [邏輯]() ⟩ 述詞╱predicate

{% hint style="success" %}
含有<mark style="color:yellow;">**參數**</mark>(<mark style="color:yellow;">parameter</mark>)的敘述，參數的部分代入<mark style="color:yellow;">**引數**</mark>(<mark style="color:yellow;">argument</mark>)後即成為「[命題](statement)」，這種敘述稱為「述詞╱<mark style="color:purple;">**predicate**</mark>」，簡單說就是「<mark style="color:yellow;">**帶有變數的**</mark>[命題](statement)」，例如：

* $$A(x):x>3$$ ，$$A(2)$$ 為「<mark style="color:orange;">**假**</mark>」，其中 $$x$$ 為<mark style="color:orange;">**參數**</mark>， $$2$$ 為<mark style="color:blue;">**引數**</mark>。
* $$B(x,y):x+y=5$$，$$B(2,3)$$ 為「<mark style="color:green;">**真**</mark>」，其中 $$(x,y)$$ 為<mark style="color:orange;">**參數**</mark>， $$(2,3)$$ 為<mark style="color:blue;">**引數**</mark>。
{% endhint %}

{% tabs %}
{% tab title="👥 相關" %}
* 「[集合](../set)」就是「<mark style="color:purple;">**predicate**</mark>」
{% endtab %}

{% tab title="📗 參考" %}
* [ ] wiki ⟩ [Predicate (mathematical logic)](https://en.wikipedia.org/wiki/Predicate_\(mathematical_logic\))
* [ ] Discrete Mathematics (Oscar Levin) ⟩ 3.3 Quantifiers & Predicate Logic (p.148)
* [ ] 中研院 ⟩ [Predicate Logic](https://homepage.iis.sinica.edu.tw/~bywang/courses/comp-logic/chapter-2.pdf) (PDF)
* [ ] wiki ⟩ [First-order logic](https://en.wikipedia.org/wiki/First-order_logic)
* [ ] 國家教育研究院 ⟩ [樂詞網](https://terms.naer.edu.tw) ⟩ [謂詞；述詞](https://terms.naer.edu.tw/detail/dee49a7f1e6d5e1ade9ec1c5e5b9add1/?startswith=zh\&seq=2)
{% endtab %}
{% endtabs %}
