| 等词 equality 表示相同关系的二元谓词。在一阶语言中用符号“=”表示。在日常语言中用“是”表示。如“珠穆朗玛峰是世界上最高的山峰”。这里的“是”表示“珠穆朗玛峰”和“世界上最高的山峰”指称同一个事物。但有时“是”一词还有其他用法。例如：“盐是白的”，就并不是指“盐”和“白的”是同一事物，也不是指“盐”和“白的事物”是同一的。而是指盐具有白的性质。因此“=”符号只表示了“是”的第一种含义。由于等词在理论(特别是数学理论)中需要经常使用，有人就把等词也作为初始符号引入逻辑系统，并用下列三条公理规定它的属性： (1) x=x。 (2) (tk＝u)→f(t1，…，tk，…tn)=f(t1，…，u，…，tn) 其中x是个体变项，t1， …， tn，u是任意项，f是任意的n元函项。 (3) (tk＝u)→(p(t1，…，tk，…， tn)→p(t1，…，u，…，tn))。 其中t1，…，tn，u是任意项，p是任意的n元谓词。经过这样处理的逻辑系统称为带等词的逻辑。 |