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

[[分类:谓词逻辑]]
{{InfoBox
|name=等词
|eng_name=equality
}}
'''等词'''('''equality''')是[[:分类:谓词逻辑]]中的一个二元[[谓词]]。通常用“=”或“是”表示，代表两个项的相同关系。推理系统中往往引入形如 <math>t=t</math> 的公理模式，称为'''等词公理'''。


{{谓词逻辑}}