查看“︁等词”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:deng3ci2}}
{{#seo:
|keywords=等词
|description=本文介绍易字变形及易字式的定义、性质与转换方法，包括这种操作的特点及意义。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-07-09
}}
{{InfoBox
|name=等词
|eng_name=equality
}}
'''等词'''('''equality''')是[[:分类:谓词逻辑|谓词逻辑]]中的一个特殊的二元[[谓词]]。通常用[[中缀表达式]]的“=”或“是”表示，代表两个项的相同关系，或者说两个项语义上指称同一对象。推理系统中往往引入形如 <math>t=t</math> 的公理模式，称为[[等词公理]]，古典逻辑也称为[[同一律]]。

{{Identity
|name=等词
|symbol=<math>=</math>
|latex==
|type=谓词
}}
等词是[[谓词公式]]中表示逻辑结构的一个特殊谓词，通常分类为逻辑符号，且与其他逻辑符号一同参与推理规则。

等词通常写作等号“=”。但在一般表示习惯中，等号也用于：
* 表示相等关系。表示两侧数的相等关系，或两侧代数式在某个取值下的相等关系，此时数或其取值为同一对象。
* 一些特定的等价关系会使用等号。如线段的长度相等一般在线段间使用等号，代表两线段的长度是同一对象，但不代表两侧的线段是同一对象。
* 表示定义。作为定义格式中的一部分，一侧是尚未指称具体对象的新符号，另一侧是已有符号，定义后两侧指称同一对象。
此外“=”也有等号以外的用法。


{{谓词逻辑}}