定义
常元又作“常项”，表示某一具体对象的符号。常元有逻辑常元与非逻辑常元之分。逻辑常元指在一定的逻辑形式中用以表示其中各个变元(包括词项变元与命题变元)之间某种逻辑关系的语词或符号，是逻辑形式中的不变部分，即在同类逻辑形式中都存在的部分。逻辑常元主要有真值联结词、量词、模态词等。如在“一切S是P”，“如果p，那么q”等命题形式中“一切......是......”表示主项S的全部外延包含在谓项P外延之中的关系，“如果......那么......”，则表示p同q两个命题之间具有逻辑上的蕴涵关系；它们分别在一切全称肯定命题和充分条件假言命题的命题形式中存在，而且无论相应命题中，其变项代换为何种有具体思想内容的词项或命题，它们的逻辑含义始终保持不变。它们就是用自然语言所表示的逻辑常元。在现代逻辑中，为避免自然语言中的歧义，使各种命题涵义精确化，还制定一些专门符号用来代替用自然语言所表示的逻辑常元。例如，用“∨”符号表示“......或者......”，用“∧”符号表示“......并且......”，用“”符号表示“否定”(即“非”)，用“→”符号表示“如果......那么......”等等。 非逻辑常元可以看作是某具体对象的名称， 故亦称“描述常元”。在特定的逻辑语言的解释中， 与“变元”相对， 表示某个完全确定的东西。 数理逻辑中常见的非逻辑常元有个体常元、 谓词常元、 命题常元。在形式语言中， 非逻辑常元通常是不予具体指明的（金炳华，冯契，2001：148）。
网络参考例句
例句 1：
本文研究直觉主义类型论中π和Σ规则，对于类型（πｘ∈Ａ）Ｂ（ｘ），我们给出新的消去和相等规则使新规则的式样与其他类型的规则相同，然而不使用高阶交元和常元，我们证明新规则等价于旧规则，对于类型（Σｘ∈Ａ）Ｂ（ｘ），我们利用投影运算给出新规则，而且证明它们等价于旧规则。——“直觉主义类型论中π和Σ规则的研究”，载于《工科数学》1995年第1期
This paper is devoted to the πandΣ rules in the intuitionistic type theory. For the type （πｘ∈Ａ）Ｂ（ｘ）,we formulate new elimination and equality rules, which have the same pattern as the other type rules, but the higher level variable and constrants are not used. We prove that the new rules are equivalent to the ones. For the typeΣｘ∈Ａ）Ｂ（ｘ）, we also formulate new elimination and equality rules by means of the projetions, the new rules are proved to the equivalent to the old ones.
例句 2：
从实二阶矩空间L2出发，以协方差作为内积，使L2成为关系空间，在建立了常元、范数、距离、依范数收敛等概念基础上，论述了L2是一个完备的内积空间；在L2中又定义了夹角、正交、坐标、正交系等概念，以不共线为标准张成的子空间与欧氏空间相关联，使L2中的问题处理转化为普通向量的问题处理。——“从关系空间到欧氏空间”，载于《常州工学院学报》2005年第3期
Starting from the two order moment space L2, the covariance as inner product, make the L2 become established in space, Chang Yuan, norm, distance, based on the concept of norm convergence, the L2 is a complete inner product space; in the L2 and defines the concept of angle, orthogonal, orthogonal coordinates, so, in non collinear associated subspace and the Euclidean space spanned by the L2 standard, the problems in the processing for processing common ve