謂語 (邏輯)

数理逻辑裡的謂語是一個表示性質或是關係的符號。例如在一阶逻辑 裡，符號是謂語 ，作用在上。在公式中，符號 是謂語，作用在個體常元和上。

依照戈特洛布·弗雷格，謂語的意義是一個函數，其定義域是物件，其值域則是真值，真或是假。

在邏輯語義學中，謂語會詮釋為。例如在一階邏輯的標準語義中，若和表示的物件之間有表示的關係，則公式會解釋為真。因為謂語是，可以依詮釋而表示不同的關係。不過一阶逻辑只包括應用在各別物件上的謂語，而其他高階逻辑則允許謂語的對象是由其他謂語所定義物件的組合。

 不同系統中的謂語 
謂語是包括變數（有時稱為謂語變數）的陳述或是數學聲稱，依變數的值，謂語可能是真，也可能是假。
 在命题逻辑中，原子公式有時會稱為零位謂語。此定義上，原子公式是零元数的謂語。
 在一階邏輯中，當謂語應用到適當數量的時，謂語形成了原子公式。
 在有排中律的集合论中，謂語可以理解為特徵函數或是集合的指示函数（也就是從集合元素轉換為真值的[[函数）。集合建構式符號可以用謂語定義集合。
 在拒絕排中律的自动认识逻辑中，謂語可以是真、是假、或是未知。一些事實的集合可能無法判斷一個謂語的真假。
 在模糊逻辑，謂語絕對的真或是假會被量化表示的真實程度表示。

相關條目

 自由变量和约束变量

 谓词变量

 合式公式

參考資料

外部連結
Introduction to predicates

Category:谓词逻辑
Category:命题演算
Category:集合論基本概念
Category:模糊邏輯
Category:數理邏輯