等词
| 等词 | |
|---|---|
| 术语名称 | 等词 |
| 英语名称 | equality |
等词(equality)是谓词逻辑中的一个特殊的二元谓词。通常用中缀表达式的“=”或“是”表示，代表两个项的相同关系，或者说两个项语义上指称同一对象。推理系统中往往引入形如 [math]\displaystyle{ t=t }[/math] 的公理模式，称为等词公理，古典逻辑也称为同一律。
| 等词 | |
|---|---|
| 对象名称 | 等词 |
| 对象记号 | [math]\displaystyle{ = }[/math] |
| Latex | =
|
| 对象类别 | 谓词 |
等词是谓词公式中表示逻辑结构的一个特殊谓词，通常分类为逻辑符号，且与其他逻辑符号一同参与推理规则。
等词通常写作等号“=”。但在一般表示习惯中，等号也用于：
- 表示相等关系。表示两侧数的相等关系，或两侧代数式在某个取值下的相等关系，此时数或其取值为同一对象。
- 一些特定的等价关系会使用等号。如线段的长度相等一般在线段间使用等号，代表两线段的长度是同一对象，但不代表两侧的线段是同一对象。
- 表示定义。作为定义格式中的一部分，一侧是尚未指称具体对象的新符号，另一侧是已有符号，定义后两侧指称同一对象。
此外“=”也有等号以外的用法。