谓词（数理逻辑）

在逻辑学中，谓词是代表一种属性或关系的符号。例如，在一阶公式中在逻辑的语义学中，谓词被解释为关系。例如，在一阶逻辑的标准语义学中，公式在一个解释上将是真的，如果由以下实体表示的{displaystyleb}所表示的实体，在一个解释上将是真的。站在关系中，表示为.由于谓词是非逻辑性的符号，它们可以表示不同的关系，这取决于用来解释它们的解释。虽然一阶逻辑只包括适用于个别常数的谓词，但其他逻辑可能允许适用于其他谓词的谓词。

在命题逻辑中，原子式有时被视为零位谓词在某种意义上，这些是空位（即0-极性）谓词在一阶逻辑中，一个谓词在应用于适当数量的项时形成一个原子式在具有排除中间的集合论中，谓词被理解为特征函数或集合指示函数（即从一个集合元素到一个真值的函数）。

在拒绝排除中间法则的自体逻辑中，谓词可以是真，也可以是假，或者仅仅是未知。特别是，给定的事实集合可能不足以确定一个谓词的真假。在模糊逻辑中，谓词是一个概率分布的特征函数。也就是说，谓词的严格的真/假估值被一个解释为真实程度的量所取代。