一、相等词

　　可将相等词视为二元谓词，记作 x=y 。引入了相等谓词便可讨论等号的逻辑演算了。
　　如"北京是中国的首都"可记作
　　　 北京=中国的首都
　　"世界最高峰是珠穆朗玛峰"也可记作
　　　 世界最高峰=珠穆朗玛峰。
　　常用"是"这个词表示相等，但也不尽然，如雪是白的，就不能说雪=白的。

　　相等词具有如下性质：
　　①│- x=x
　　②│-(x=y)(y=x)
　　③│-(x=y)∧(y=z)→(x=z)
　　④│-(x=y)∧P(x)→P(y)
　　⑤│- P(x)P(y)→(x≠y)
　　⑥│- P(y)(x)((x=y)→P(x))
　　⑦│- P(y)(x)((x=y)∧P(x))

　　可用相等谓词来描述数量。