同一性 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 同一性.

同一性

维基百科,自由的百科全书

逻辑中,同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系。就是说同一是两元谓词"=",使得对于所有xy,"x = y"为真,当且仅当xy是同一个事物。

同一是传递的对称的自反的

它是最常见的模态逻辑的一个公理,对于所有x,如果x = x则必然x = x

参见

{{bottomLinkPreText}} {{bottomLinkText}}
同一性
Listen to this article