Predicate Symbol

释义 Definition

predicate symbol（谓词符号）：在形式逻辑（尤其是一阶逻辑）中，用来表示性质或关系的符号，后面通常接若干个项（terms）。它的“参数个数”称为元数/阶数（arity），例如一元谓词 \(P(x)\) 表示“\(x\) 具有某性质”，二元谓词 \(R(x,y)\) 表示“\(x\) 与 \(y\) 满足某关系”。（在不同教材中也可能称为 predicate letter 或 relation symbol。）

发音 Pronunciation (IPA)

/ˈprɛdɪkət ˈsɪmbəl/

例句 Examples

A predicate symbol can take one or more arguments.
谓词符号可以带一个或多个参数。

In first-order logic, each predicate symbol is assigned an arity and is interpreted as a relation on the domain.
在一阶逻辑中，每个谓词符号都被指定一个元数，并在论域上被解释为一个关系。

词源 Etymology

predicate 源自拉丁语 praedicare（“宣称、断言”），在逻辑里引申为“对对象作出的陈述/断定”。symbol 源自希腊语 symbolon（“记号、标志”）。合起来 predicate symbol 指“用于表达断定（性质/关系）的记号”。

相关词 Related Words

• Arity
• Atom
• Formula
• Interpretation
• Predicate
• Quantifier
• Relation
• Signature
• Term
• Variable

文学与著作中的用例 Literary Works

• A Mathematical Introduction to Logic（Herbert B. Enderton）——在介绍一阶语言时讨论谓词符号与其元数。
• Introduction to Mathematical Logic（Elliott Mendelson）——用谓词符号说明关系解释与模型论语义。
• Mathematical Logic（Joseph R. Shoenfield）——在形式语言定义中系统使用谓词符号（relation symbols）。
• Logic, Language, and Meaning（L. T. F. Gamut）——在语言与逻辑接口处频繁使用谓词符号来表达语义结构。
• Principia Mathematica（A. N. Whitehead & Bertrand Russell）——早期符号逻辑体系中以类似角色引入并使用谓词/关系符号。