Constant Symbol

定义 Definition

constant symbol：在数学逻辑、模型论或形式语言中，指表示某个固定对象（常量）的符号，其指称不随变量取值而改变。常见例子如形式系统里的 0、1、a、c 等（与“变量符号”相对）。

发音 Pronunciation

/ˈkɒnstənt ˈsɪmbəl/

例句 Examples

A constant symbol names a specific element in the structure.
常量符号用于指称结构中的某个特定元素。

In first-order logic, adding a constant symbol can simplify statements by letting us refer directly to an object without introducing a variable.
在一阶逻辑中，引入常量符号可以简化表述，使我们能直接指代某个对象而不必引入变量。

词源 Etymology

constant 来自拉丁语 constāns（“坚定的、不变的”）；symbol 可追溯到希腊语 symbolon（“标记、记号”）。组合成 constant symbol 后，在逻辑与形式语言里专指“用来表示固定个体/常量的记号”。

相关词 Related Words

• Constant
• Symbol
• Variable
• Predicate
• Function Symbol
• Signature
• Language (Logic)
• Interpretation
• Model

文学与经典用例 Literary Works

• Model Theory（C. C. Chang & H. J. Keisler）：在介绍语言与结构时讨论常量符号、函数符号与谓词符号的解释。
• A Course in Model Theory（Bruno Poizat）：讲解一阶语言的组成要素时频繁使用 constant symbol。
• A Mathematical Introduction to Logic（Herbert B. Enderton）：在形式语言与语义部分用该术语区分常量符号与变量。