謂詞（數學邏輯）
在邏輯中，謂詞是代表屬性或關係的符號。例如，在一階公式中
根據Gottlob Frege的說法，謂詞的含義正是從對象域到真實值“ true”和“ false”的函數。
在邏輯語義中，謂詞被解釋為關係。例如，在一階邏輯的標準語義中，公式
不同系統中的謂詞
謂詞是一個語句或數學斷言，其中包含變量，有時稱為謂詞變量，根據這些變量的值或值，可能是真實的或錯誤。
- 在命題邏輯中，原子公式有時被視為零位謂詞。從某種意義上說，這些是無效的（即0- Arity ）謂詞。
- 在一階邏輯中，當應用於適當數量的術語時，謂詞形成原子公式。
- 在具有排除中間定律的理論中，謂詞被理解為特徵函數或設置指標函數（即，從設定元素到真實值的函數）。設置構建器符號利用謂詞來定義集合。
- 在拒絕被排除的中間定律的自動史學邏輯中，謂詞可能是真實的，錯誤的或簡直是未知的。特別是，給定的事實收集可能不足以確定謂詞的真相或虛假。
- 在模糊邏輯中，謂詞的嚴格估值被解釋為真理程度的數量所取代。