带等词的逻辑

带等词的逻辑是带等词的逻辑及等词逻辑。等词（equality）表示相同关系的二元谓词。在一阶语言中用符号“=”表示。在日常语言中用“是”表示。如“珠穆朗玛峰是世界上最高的山峰”。这里的“是”表示“珠穆朗玛峰”和“世界上最高的山峰”指称同一个事物。但有时“是”一词还有其他用法。例如：“盐是白的”，就并不是指“盐”和“白的”是同一事物，也不是指“盐”和“白的事物”是同一的。而是指盐具有白的性质。因此“=”符号只表示了“是”的第一种含义。